1670 search results - page 169 / 334 » On Skolemization in constructive theories |
163
click to vote
ELECTRONICMARKETS
2010
15 years 3 months ago
2010
We argue that certain theoretical commitments that underpin much existing Interorganisational Information Systems (IOIS) research at small scales become untenable when IOIS are st...
204
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
Current proposals for concurrent shared-memory languages, including C++ and C, provide sequential consistency only for programs without data races (the DRF guarantee). While the i...
170
click to vote
ICCV
2005
IEEE
16 years 8 months ago
2005
IEEE
Lambertian photometric stereo with unknown light source parameters is ambiguous. Provided that the object imaged constitutes a surface, the ambiguity is represented by the group o...
150
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
A theory of stereo image formation is presented that enables a complete classification of all possible stereo views, including non-perspective varieties. Towards this end, the not...
141
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
Face detection in an image sequence is a challenging problem for many applications. In this paper, a novel face detection method is proposed. In order to detect faces in a sequenc...