7139 search results - page 820 / 1428 » Language Engineering in Practice |
210
Voted
CP
2007
Springer
16 years 1 months ago
2007
Springer
The techniques for making decisions, i.e., branching, play a central role in complete methods for solving structured CSP instances. In practice, there are cases when SAT solvers be...
185
Voted
HUC
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. We present Supple, a novel toolkit which automatically generates interfaces for ubiquitous applications. Designers need only specify declarative models of the interface a...
190
Voted
ICALP
2005
Springer
16 years 24 days ago
2005
Springer
We present a single-database private information retrieval (PIR) scheme with communication complexity O(k+d), where k ≥ log n is a security parameter that depends on the database...
186
Voted
ICFCA
2005
Springer
16 years 24 days ago
2005
Springer
Minimal generators (or mingen) constitute a remarkable part of the closure space landscape since they are the antipodes of the closures, i.e., minimal sets in the underlying equiva...
191
click to vote
JELIA
2004
Springer
16 years 19 days ago
2004
Springer
The Nelson-Oppen combination method combines decision procedures for theories satisfying certain conditions into a decision procedure for their union. While the method is known to ...