4266 search results - page 564 / 854 » A Framework for Defining Logics |
174
click to vote
ANTSW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. For solving combinatorial optimisation problems, exact methods accurately exploit the structure of the problem but are tractable only up to a certain size; approximation ...
183
click to vote
CGI
2004
IEEE
15 years 10 months ago
2004
IEEE
Three dimensional shape matching plays an important role in many of today's applications. Nevertheless, shape matching is a difficult problem since there is no unique measure...
214
click to vote
CLUSTER
2004
IEEE
15 years 10 months ago
2004
IEEE
A key challenge in supporting data-driven scientific applications is the storage and management of input and output data in a distributed environment. In this paper, we describe a...
216
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
Many applications refer to moving objects or phenomena and require spatio-temporal modelling and specific analysis. Unlike conventional data where attributes are simple values (nu...
162
click to vote
CG
2006
Springer
15 years 10 months ago
2006
Springer
Monte-Carlo evaluation consists in estimating a position by averaging the outcome of several random continuations, and can serve as an evaluation function at the leaves of a min-ma...