3238 search results - page 427 / 648 » On the Computational Interpretation of Negation |
187
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
199
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
Face identification is the problem of determining
whether two face images depict the same person or not.
This is difficult due to variations in scale, pose, lighting,
background...
244
click to vote
CVPR
2009
IEEE
16 years 10 months ago
2009
IEEE
Color is a powerful visual cue for many computer vision
applications such as image segmentation and object recognition.
However, most of the existing color models depend on the i...
184
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
Level of Web experience is often a factor for which researchers attempt to control while conducting experimental studies on Web usability. It is typically measured by some means o...
183
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
Message-passing is an attractive thread coordination mechanism because it cleanly delineates points in an execution when threads communicate, and unifies synchronization and comm...