511 search results - page 30 / 103 » The Economics of International Conferences |
69
Voted
LPNMR
2007
Springer
15 years 3 months ago
2007
Springer
This paper gives a summary of the First Answer Set Programming System Competition that was held in conjunction with the Ninth International Conference on Logic Programming and Nonm...
FQAS
2004
Springer
15 years 3 months ago
2004
Springer
In: Proceedings of the Sixth International Conference On Flexible Query Answering Systems (FQAS-04), Springer-Verlag LNAI 3055, pp. 203-216. c 2004 by Springer-Verlag. To model qu...
ICBA
2004
Springer
15 years 3 months ago
2004
Springer
A new technology evaluation of fingerprint verification algorithms has been organized following the approach of the previous FVC2000 and FVC2002 evaluations, with the aim of tracki...
104
click to vote
ICRA
2000
IEEE
15 years 2 months ago
2000
IEEE
in Proceedings of the 2000 IEEE International Conference on Robotics and Automation, San Francisco, April 2000 The augmented object model provided the basis for effective coopera...
91
Voted
CADE
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...