13 search results - page 3 / 3 » Separating Decision Tree Complexity from Subcube Partition C... |
WIA
2000
Springer
13 years 9 months ago
2000
Springer
The Mona tool provides an implementation of the decision procedures for the logics WS1S and WS2S. It has been used for numerous applications, and it is remarkably efficient in prac...
CIKM
1994
Springer
13 years 9 months ago
1994
Springer
In a spatial database, an object may extend arbitrarily in space. As a result, many spatial data structures e.g., the quadtree, the cell tree, the R+-tree represent an object by p...
WWW
2006
ACM
14 years 6 months ago
2006
ACM
Fitting enough information from webpages to make browsing on small screens compelling is a challenging task. One approach is to present the user with a thumbnail image of the full...