1353 search results - page 36 / 271 » Streamlined Constraint Reasoning |
CL
2000
Springer
14 years 3 days ago
2000
Springer
We propose a general scheme for the cooperation of different constraint solvers. A uniform interface for constraint solvers allows to formally specify information exchange between...
HICSS
2010
IEEE
14 years 2 months ago
2010
IEEE
It seems common sense that “policy matters” in setting up e-government interoperability, mainly because collaboration should be guided by dedicated integration objectives and ...
FOCS
2005
IEEE
14 years 1 months ago
2005
IEEE
Fredman, Sedgewick, Sleator, and Tarjan proposed the pairing heap as a self-adjusting, streamlined version of the Fibonacci heap. It provably supports all priority queue operation...
IPPS
2000
IEEE
14 years 4 days ago
2000
IEEE
The instruction sets of general-purpose microprocessors are designed to offer good performance across a wide range of programs. The size and complexity of the instruction sets, how...
IUI
2010
ACM
13 years 9 months ago
2010
ACM
We present Luminoso, a tool that helps researchers to visualize and understand a dimensionality-reduced semantic space by exploring it interactively. It also streamlines the proce...