324 search results - page 40 / 65 » Reducing Expression Size Using Rule-Based Integration |
105
click to vote
SAT
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We present a new method to break symmetry in graph coloring problems. While most alternative techniques add symmetry breaking predicates in a pre-processing step, we deve...
108
click to vote
CASSIS
2005
Springer
15 years 5 months ago
2005
Springer
This paper introduces notions of resource policy for mobile code to be run on smart devices, to integrate with the proof-carrying code architecture of the Mobile Resource Guarantee...
ECAI
2000
Springer
15 years 4 months ago
2000
Springer
Domain-specific control information is often essential in solving difficult planning problems efficiently. Temporal logics are a declarative and expressive representation for su...
EDBT
2008
ACM
15 years 12 months ago
2008
ACM
Conceptual complexity is emerging as a new bottleneck as data-base developers, application developers, and database administrators struggle to design and comprehend large, complex...
127
click to vote
SAC
2003
ACM
15 years 5 months ago
2003
ACM
Query-by-example is the most popular query model for today’s image retrieval systems. A typical query image contains not only relevant objects (e.g., Eiffel Tower), but also ir...