1353 search results - page 239 / 271 » Streamlined Constraint Reasoning |
ICCV
2011
IEEE
12 years 10 months ago
2011
IEEE
This paper presents a realtime, incremental multibody visual SLAM system that allows choosing between full 3D reconstruction or simply tracking of the moving objects. Motion recon...
KDD
2012
ACM
12 years 15 days ago
2012
ACM
Intelligence analysts grapple with many challenges, chief among them is the need for software support in storytelling, i.e., automatically ‘connecting the dots’ between dispar...
LPNMR
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The paper presents INFOMIX a successful application of ASP technology to the domain of Data Integration. INFOMIX is a novel system which supports powerful information int...
ICLP
1999
Springer
14 years 2 months ago
1999
Springer
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...
ICLP
1997
Springer
14 years 2 months ago
1997
Springer
Abstract This paper describes a general framework for automatic termination analysis of logic programs, where we understand by termination" the niteness of the LD-tree constru...