1943 search results - page 386 / 389 » Ordering Default Theories |
106
click to vote
PEPM
2011
ACM
14 years 9 days ago
2011
ACM
Navigating through tree structures is a core operation in tree processing programs. Most notably, XML processing programs intensively use XPath, the path specification language t...
108
click to vote
PLDI
2011
ACM
14 years 9 days ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
114
click to vote
PODS
2011
ACM
14 years 9 days ago
2011
ACM
In deletion propagation, tuples from the database are deleted in order to reflect the deletion of a tuple from the view. Such an operation may result in the (often necessary) del...
116
click to vote
SIGIR
2011
ACM
14 years 8 days ago
2011
ACM
Traditional recommendation algorithms often select products with the highest predicted ratings to recommend. However, earlier research in economics and marketing indicates that a ...
109
click to vote
3DIM
2011
IEEE
13 years 9 months ago
2011
IEEE
Abstract—During the last few years a wide range of algorithms and devices have been made available to easily acquire range images. To this extent, the increasing abundance of dep...