5746 search results - page 857 / 1150 » Visualizing Query Structure |
172
click to vote
VMCAI
2007
Springer
16 years 25 days ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
189
click to vote
WAIM
2007
Springer
16 years 25 days ago
2007
Springer
To solve the overlapping search of multidimensional spatial database containing large quantity of objects with dynamic spatial extent, this paper proposes an index structure named ...
179
click to vote
WEBI
2007
Springer
16 years 25 days ago
2007
Springer
— We propose a hierarchical approach to document categorization that requires no pre-configuration and maps the semantic document space to a predefined taxonomy. The utilizatio...
175
click to vote
FOCS
2006
IEEE
16 years 23 days ago
2006
IEEE
We investigate the optimality of (1+ )-approximation algorithms obtained via the dimensionality reduction method. We show that: • Any data structure for the (1 + )-approximate n...
161
click to vote
ICDCSW
2006
IEEE
16 years 23 days ago
2006
IEEE
Business-to-business (B2B) data exchange and integration is a common daily operation in today’s organizations. These operations are crucial since they affect organizations’ ca...