13376 search results - page 511 / 2676 » Problem Solving with |
182
click to vote
CCGRID
2010
IEEE
15 years 8 months ago
2010
IEEE
SciCloud is a project studying the scope of establishing private clouds at universities. With these clouds, researchers can efficiently use the already existing resources in solvin...
153
click to vote
MICCAI
2004
Springer
16 years 8 months ago
2004
Springer
In this paper we discuss image registration techniques with a focus on volume preserving constraints. These constraints can reduce the non-uniqueness of the registration problem si...
185
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
Methodologies to find and evaluate solutions for ontology matching should be centered on the practical problems to be solved. In this paper we look at matching from the perspectiv...
179
click to vote
COMPGEOM
2000
ACM
15 years 11 months ago
2000
ACM
We present fast implementations of a hybrid algorithm for reporting box and cube intersections. Our algorithm initially takes a divide-and-conquer approach and switches to simpler...
184
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract A new unfolding approach to LTL model checking is presented, in which the model checking problem can be solved by direct inspection of a certain finite prefix. The techniq...