4066 search results - page 566 / 814 » Almost Complete Sets |
188
click to vote
COSIT
2007
Springer
16 years 1 months ago
2007
Springer
Cavities in spatial phenomena require geometric representations of regions with holes. Existing models for reasoning over topological relations either exclude such specialized regi...
208
click to vote
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...
170
click to vote
ECOWS
2007
Springer
16 years 1 months ago
2007
Springer
For improved flexibility and concurrent usage existing transaction management models for Web services relax the isolation property of Web service-based transactions. Correctness o...
228
click to vote
EMMCVPR
2007
Springer
16 years 1 months ago
2007
Springer
Most of the traditional methods for shape classification are based on contour. They often encounter difficulties when dealing with classes that have large nonlinear variability, es...
176
click to vote
EUC
2007
Springer
16 years 1 months ago
2007
Springer
We demonstrate an improved consensus-driven utility accrual scheduling algorithm (DUA-CLA) for distributable threads which execute under run-time uncertainties in execution time, ...