1614 search results - page 301 / 323 » Planning as Temporal Reasoning |
IJCV
2002
13 years 6 months ago
2002
Abstract-- This paper presents an efficient implementation for correlation based stereo. Research in this area can roughly be divided in two classes: improving accuracy regardless ...
TITB
2002
13 years 6 months ago
2002
This paper describes the initial stages of building an ontology of bioinformatics and molecular biology. The conceptualisation is encoded using the Ontology Inference Layer (OIL),...
HUC
2010
Springer
13 years 5 months ago
2010
Springer
Even though the coordination of kids’ activities is largely successful, the modern dual income family still regularly experiences breakdowns in their practices. Families often r...
PPDP
2010
Springer
13 years 4 months ago
2010
Springer
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...
SASO
2010
IEEE
13 years 4 months ago
2010
IEEE
Many large-scale distributed systems have been built with great complexity to run Internet services. Due to the heterogeneity and dynamics of complex systems, it is very difficult ...