759 search results - page 97 / 152 » A Perspective on Knowledge Compilation |
PLDI
2003
ACM
15 years 3 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
107
click to vote
NAR
2011
14 years 18 days ago
2011
We updated the tRNADB-CE by analyzing 939 complete and 1301 draft genomes of prokaryotes and eukaryotes, 171 complete virus genomes, 121 complete chloroplast genomes and approxima...
AAAI
2007
15 years 2 days ago
2007
Recent work on online auctions for digital goods has explored the role of optimal stopping theory — particularly secretary problems — in the design of approximately optimal on...
CVPR
2006
IEEE
15 years 11 months ago
2006
IEEE
When we look at a picture, our prior knowledge about the world allows us to resolve some of the ambiguities that are inherent to monocular vision, and thereby infer 3d information...
CVPR
2007
IEEE
15 years 11 months ago
2007
IEEE
Fully automatic 3D modeling from a catadioptric image sequence has rarely been addressed until now, although this is a long-standing problem for perspective images. All previous c...