1350 search results - page 23 / 270 » Reasoning about Staged Computation |
SOFTWARE
2008
14 years 9 months ago
2008
s of titles and abstracts) as irrelevant to our focus. We read the remaining 519 papers in full to establish our final list. The 92 papers we chose were originally published in the...
LICS
2003
IEEE
15 years 3 months ago
2003
IEEE
We show that the decomposition of Intuitionistic Logic into Linear Logic along the equation ´ may be adapted into a decomposition of classical logic into LLP, the polarized versi...
CHI
2010
ACM
14 years 10 months ago
2010
ACM
Blogs are becoming an increasingly important medium-socially, academically, and politically. Much research has involved analyzing blogs, but less work has considered how such anal...
CVPR
2008
IEEE
15 years 11 months ago
2008
IEEE
Practically all existing approaches to structure and motion computation use only positive image correspondences to verify the camera pose hypotheses. Incorrect epipolar geometries...
CSL
2010
Springer
14 years 9 months ago
2010
Springer
A conventional automatic speech recognizer does not perform well in the presence of multiple sound sources, while human listeners are able to segregate and recognize a signal of i...