2725 search results - page 427 / 545 » Constraint Solving for Interpolation |
104
Voted
CHI
2004
ACM
16 years 1 months ago
2004
ACM
People cannot type as fast as they think, especially when faced with the constraints of mobile devices. There have been numerous approaches to solving this problem, including rese...
143
Voted
CADE
2005
Springer
16 years 1 months ago
2005
Springer
Two kinds of orderings are widely used in term rewriting and theorem proving, namely recursive path ordering (RPO) and Knuth-Bendix ordering (KBO). They provide powerful tools to p...
98
Voted
PODS
2005
ACM
16 years 26 days ago
2005
ACM
We consider here the exchange of Active XML (AXML) data, i.e., XML documents where some of the data is given explicitly while other parts are given only intensionally as calls to ...
90
Voted
EDBT
2006
ACM
16 years 26 days ago
2006
ACM
Navigational queries on Web-accessible life science sources pose unique query optimization challenges. The objects in these sources are interconnected to objects in other sources, ...
80
Voted
EDBT
2006
ACM
16 years 26 days ago
2006
ACM
Abstract. Physical database design tools rely on a DBA-provided workload to pick an "optimal" set of indexes and materialized views. Such an approach fails to capture sce...