1670 search results - page 201 / 334 » On Skolemization in constructive theories |
186
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
In this paper, computer vision and fuzzy set theory are merged for the robust construction of three-dimensional objects using a small number of cameras and minimal a priori knowled...
183
click to vote
ICALT
2009
IEEE
15 years 4 months ago
2009
IEEE
Eye-tracking measurements may be used as a method of identifying users' actual behavior in a hypermedia setting. In this research, an eye-tracking experiment was conducted in...
201
click to vote
AAMAS
2011
Springer
15 years 1 months ago
2011
Springer
In this paper, we consider algorithms for distributed constraint optimisation problems (DCOPs). Using a potential game characterisation of DCOPs, we decompose six distributed DCOP...
170
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
am analysis and has been widely studied. In this paper we consider this problem at the abstraction level of program schemas in which computations occur in the Herbrand domain of te...
185
click to vote
JUCS
2010
15 years 1 months ago
2010
: We address the question of how to communicate among distributed processes values such as real numbers, continuous functions and geometrical solids with arbitrary precision, yet e...