Sciweavers

ICDT
2012
ACM
293views Database» more  ICDT 2012»
11 years 6 months ago
On the complexity of query answering over incomplete XML documents
Previous studies of incomplete XML documents have identified three main sources of incompleteness – in structural information, data values, and labeling – and addressed data ...
Amélie Gheerbrant, Leonid Libkin, Tony Tan
ICCV
2011
IEEE
12 years 4 months ago
Real-time Indoor Scene Understanding using Bayesian Filtering with Motion Cues
We present a method whereby an embodied agent using visual perception can efficiently create a model of a local indoor environment from its experience of moving within it. Our me...
Grace Tsai, Changhai Xu, Jingen Liu, Benjamin Kuip...
CORR
2010
Springer
142views Education» more  CORR 2010»
12 years 10 months ago
Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
xample Guided Abstraction Refinement Algorithm for Propositional Circumscription Mikol
Mikolás Janota, João Marques-Silva, ...