Sciweavers

3305 search results - page 76 / 661
» Can we Rely on SQL
Sort
View
ICDT
2001
ACM
114views Database» more  ICDT 2001»
14 years 4 days ago
Subsumption for XML types
XML data is often used (validated, stored, queried, etc) with respect to di erent types. Understanding the relationship between these types can provide important information for ma...
Gabriel M. Kuper, Jérôme Siméo...
CNL
2009
13 years 8 months ago
Anaphora Resolution Involving Interactive Knowledge Acquisition
Abstract. Anaphora resolution in current computer-processable controlled natural languages relies mainly on syntactic information, accessibility constraints and the distance of the...
Rolf Schwitter
ECCV
2010
Springer
13 years 8 months ago
A Data-Driven Approach for Event Prediction
When given a single static picture, humans can not only interpret the instantaneous content captured by the image, but also they are able to infer the chain of dynamic events that ...
Jenny Yuen, Antonio Torralba
ICDCSW
2005
IEEE
14 years 1 months ago
Using Fine-Grained Infrared Positioning to Support the Surface-Based Activities of Mobile Users
Knowledge of the fine-grained location and orientation of devices on a surface can be used to enhance the surface-based computing tasks of mobile users in the home and workplace....
Albert Krohn, Michael Beigl, Mike Hazas, Hans-Wern...
APLAS
2011
ACM
12 years 7 months ago
Solving Recursion-Free Horn Clauses over LI+UIF
Verification of programs with procedures, multi-threaded programs, and higher-order functional programs can be effectively auusing abstraction and refinement schemes that rely o...
Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenk...