Skip to main content
Skip to main navigation menu
Skip to site footer
Acta Cybernetica
Accepted Papers
Current
Archives
Announcements
About
About the Journal
Submissions
Editorial Team
Contact
Search
Search
Register
Login
Home
/
Archives
/
Vol 20 No 3 (2012)
Published:
2012-01-01
Regular articles
Improving the construction of the DBM over approximation of the state spce of real-time preemptive systems
Abdelli Abdelkrim
347-384
PDF
Density of tautologies in logics with one variable
László Aszalós, Tamás Herendi
385-398
PDF
Approximation of the Euclidean distance by Chamfer distances
András Hajdu, Lajos Hajdu, Robert Tijdeman
399-417
PDF
Person attribute extraction from the textual parts of web pages
István Nagy T.
419-440
PDF
Loop elimination, a sound optimisation technique for PTTP related theorem proving
Zsolt Zombori, Péter Szeredi
441-458
PDF
Open Journal Systems
Information
For Readers
For Authors
For Librarians
Make a Submission
Most read in last month
Detecting Uninitialized Variables in C++ with the Clang Static Analyzer
49
Standardized Telemedicine Software Development Kit with Hybrid Cloud Support
41
Single and Combined Algorithms for Open Set Classification on Image Datasets
37
Integer Programming Based Optimization of Power Consumption for Data Center Networks
29
Using Version Control Information to Visualize Developers' Knowledge
26
Current Issue