1353 search results - page 36 / 271 » Streamlined Constraint Reasoning |
145
click to vote
CL
2000
Springer
15 years 10 months 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...
193
click to vote
HICSS
2010
IEEE
16 years 26 days 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 ...
174
click to vote
FOCS
2005
IEEE
15 years 11 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...
159
click to vote
IPPS
2000
IEEE
15 years 10 months 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...
143
click to vote
IUI
2010
ACM
15 years 8 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...