Search
Now showing items 1-10 of 53
Deontic Logic in Computer Science: 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004
(Springer-Verlag Berlin Heidelberg, 2004)
This volume contains the workshop proceedings of DEON 2004, the Seventh International Workshop on Deontic Logic in Computer Science. The DEON workshop series aims at bringing together researchers interested in topics - ...
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings
(Springer-Verlag Berlin Heidelberg, 2004)
This volume constitutes the proceedings of the 2nd International Joint C- ference on Automated Reasoning (IJCAR 2004) held July 4–8, 2004 in Cork, Ireland. IJCAR 2004 continued the tradition established at the ?rst IJCAR ...
Robust range image registration: using genetic algorithms and the surface interpenetration measure
(World Scientific Publishing Company, 2004)
This book addresses the range image registration problem for automatic 3D model construction. The focus is on obtaining highly precise alignments between different view pairs of the same object to avoid 3D model distortions, ...
PHP 5 Power Programming
(Prentice hall Professional Technical Reference, 2004)
If you’re a software developer new to PHP, you’ll leap quickly into PHP and its new object-oriented capabilities. If you’re an experienced PHP programmer, you already recognize PHP’s convenience and simplicity. Now, discover ...
Data Mining In Time Series Databases
(World Scientific, 2004)
Adding the time dimension to real-world databases produces Time Series Databases (TSDB) and introduces new aspects and difficulties to data mining and knowledge discovery. This book covers the state-of-the-art methodology ...
Multiagent System Technologies: Second German Conference, MATES 2004, Erfurt, Germany, September 29-30, 2004. Proceedings
(Springer-Verlag Berlin Heidelberg, 2004)
This book constitutes the refereed proceedings of the Second German Conference on Multiagent Systems Technologies, MATES 2004, held in Erfurt, Germany, in September 2004. The 22 revised full papers presented together with ...
Advances in Artificial Intelligence - IBERAMIA 2004: 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004. Proceedings
(Springer-Verlag Berlin Heidelberg, 2004)
This book constitutes the refereed proceedings of the 9th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2004, held in Puebla, Mexico in November 2004.The 97 revised full papers presented were carefully ...
Artificial Intelligence: Methodology, Systems, and Applications: 11th International Conference, AIMSA 2004, Varna, Bulgaria, September 2-4, 2004. Proceedings
(Springer-Verlag Berlin Heidelberg, 2004)
The 11th Conference “Artificial Intelligence: Methodology, Systems, Applications – Semantic Web Challenges” (AIMSA 2004) continued successfully pursuing the main aim of the AIMSA series of conferences – to foster the ...
RoboCup 2003: Robot Soccer World Cup VII
(Springer-Verlag Berlin Heidelberg, 2004)
This book constitutes the seventh official archival publication devoted to RoboCup. It documents the achievements presented at the 7th Robot World Cup Soccer and Rescue Competition and Conferences held in Padua, Italy, in ...
Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings
(Springer, 2004)
This book constitutes the refereed proceedings of the 9th European Conference on Logics in Artificial Intelligence, JELIA 2004, held in Lisbon, Portugal, in September 2004.The 52 revised full papers and 15 revised systems ...