10666 search results - page 1748 / 2134 » Quantum programming languages |
182
click to vote
CP
2007
Springer
16 years 6 days ago
2007
Springer
While many real-world combinatorial problems can be advantageously modeled and solved using Constraint Programming, scalability remains a major issue in practice. Constraint models...
144
click to vote
CP
2007
Springer
16 years 6 days ago
2007
Springer
Shaving and constructive disjunction are two main refutation principles used in constraint programming. The shaving principle allows us to compute the singleton arc-consistency (SA...
160
click to vote
DCOSS
2007
Springer
16 years 6 days ago
2007
Springer
Macroprogramming—the technique of specifying the behavior of the system, as opposed to the constituent nodes—provides application developers with high level abstractions that a...
126
click to vote
FMCO
2007
Springer
16 years 5 days ago
2007
Springer
The Universe Type System is an ownership type system for object-oriented programming languages that hierarchically structures the object store; it is used to reason modularly about...
160
click to vote
ICALP
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. The edit distance between two ordered rooted trees with vertex labels is the minimum cost of transforming one tree into the other by a sequence of elementary operations c...