Sciweavers

7956 search results - page 312 / 1592
» Into the Future
Sort
View
ICCS
2007
Springer
16 years 28 days ago
Supporting Lexical Ontology Learning by Relational Exploration
Designing and refining ontologies becomes a tedious task, once the boundary to real-world-size knowledge bases has been crossed. Hence semi-automatic methods supporting those task...
Sebastian Rudolph, Johanna Völker, Pascal Hit...
ICIAR
2007
Springer
16 years 28 days ago
3D Reconstruction of Soccer Sequences Using Non-calibrated Video Cameras
We present a global approach that enables the production of 3D soccer sequences from non-calibrated video cameras. Our system can produce a 3D animated model of the scene from a si...
Sébastien Mavromatis, Paulo Dias, Jean Sequ...
KI
2007
Springer
16 years 28 days ago
Early History and Perspectives of Automated Deduction
With this talk we want to pay tribute to the late Professor Gerd Veenker who deserves the historic credit of initiating the formation of the German AI community. We present a summa...
Wolfgang Bibel
MATES
2007
Springer
16 years 28 days ago
Using DESs for Temporal Diagnosis of Multi-agent Plan Execution
The most common reason for plan repair are the violation of a plan’s temporal constraints. Air Traffic Control is an example of an area in which violations of the plan’s tempo...
Femke de Jonge, Nico Roos, Huib Aldewereld
MODELS
2007
Springer
16 years 28 days ago
Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions
Abstract. We consider the OMG’s Queries, Views and Transformations (QVT) standard as applied to the specification of bidirectional transformations between models. We discuss wha...
Perdita Stevens