5263 search results - page 711 / 1053 » Data sources selection for XML data sources |
125
click to vote
MICCAI
2004
Springer
16 years 4 days ago
2004
Springer
The Precision Freehand Sculptor (PFS) is a compact, handheld, intelligent tool to assist the surgeon in accurately cutting bone. A retractable rotary blade on the PFS allows a comp...
179
click to vote
PPDP
2004
Springer
16 years 4 days ago
2004
Springer
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
179
click to vote
VMCAI
2004
Springer
16 years 3 days ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
172
Voted
HPDC
2003
IEEE
16 years 2 days ago
2003
IEEE
As Data and Computational Grids grow in size and complexity, the crucial task of identifying, monitoring and utilizing available resources in an efficient manner is becoming incr...
164
click to vote
EVOW
2010
Springer
15 years 12 months ago
2010
Springer
We present an algorithmic approach to solving the problem of chromatic entropy, a combinatorial optimization problem related to graph coloring. This problem is a component in algor...