1614 search results - page 301 / 323 » Planning as Temporal Reasoning |
116
click to vote
IJCV
2002
15 years 1 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 ...
131
click to vote
TITB
2002
15 years 1 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),...
105
Voted
HUC
2010
Springer
15 years 10 days 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...
114
Voted
PPDP
2010
Springer
14 years 11 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...
159
Voted
SASO
2010
IEEE
14 years 11 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 ...