3353 search results - page 349 / 671 » Laver and set theory |
179
click to vote
IJCAI
1993
15 years 8 months ago
1993
We introduce and use a new methodology for the study of logics for action and change. The methodology allows one to define a taxonomy of reasoning problems, based in particular on...
182
click to vote
CLEIEJ
2008
15 years 6 months ago
2008
A lot of material has been written about wavelet theory. Most of these texts provide an elegant framework from the functional and real analysis point of view. The complete infinit...
190
click to vote
MST
2006
15 years 6 months ago
2006
A central question in computational biology is the design of genetic markers to distinguish between two given sets of (DNA) sequences. This question is formalized as the NP-comple...
177
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
Many approaches to object recognition are founded on probability theory, and can be broadly characterized as either generative or discriminative according to whether or not the di...
159
click to vote
ICCV
2005
IEEE
16 years 8 months ago
2005
IEEE
This paper develops new theory for the optimal placement of photometric stereo lighting in the presence of camera noise. We show that for three lights, any triplet of orthogonal l...