Browse by cikk, tanulmány, mű

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Jump to: 2012
Number of items: 9.

2012

Abdelkrim, Abdelli: Improving the construction of the DBM over approximation of the state spce of real-time preemptive systems. In: Acta cybernetica, (20) 3. pp. 347-384. (2012)

Aszalós, László and Herendi, Tamás: Density of tautologies in logics with one variable. In: Acta cybernetica, (20) 3. pp. 385-398. (2012)

Erős, Levente and Csöndes, Tibor: Model-driven diagnostics of underperforming communicating systems. In: Acta cybernetica, (20) 4. pp. 461-481. (2012)

Hajdu, András and Hajdu, Lajos and Tijdeman, Robert: Approximation of the Euclidean distance by Chamfer distances. In: Acta cybernetica, (20) 3. pp. 399-417. (2012)

Hajnal, Ákos and Forgács, István: Understanding program slices. In: Acta cybernetica, (20) 4. pp. 483-497. (2012)

Nagy T., István: Person attribute extraction from the textual parts of web pages. In: Acta cybernetica, (20) 3. pp. 419-440. (2012)

Ujvári, Miklós: New descriptions of the Lovász number, and the weak sandwich theorem. In: Acta cybernetica, (20) 4. pp. 499-513. (2012)

Varga, László Zsolt: Joint perception in agent communication. In: Acta cybernetica, (20) 4. pp. 515-537. (2012)

Zombori, Zsolt and Szeredi, Péter: Loop elimination, a sound optimisation technique for PTTP related theorem proving. In: Acta cybernetica, (20) 3. pp. 441-458. (2012)

This list was generated on 2020. szeptember 30. 18:19:03 CEST.