861 search results - page 74 / 173 » A General Framework for Knowledge Compilation |
141
Voted
PLDI
2003
ACM
15 years 9 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...
130
click to vote
SIGCOMM
2004
ACM
15 years 9 months ago
2004
ACM
We formulate the delay-tolerant networking routing problem, where messages are to be moved end-to-end across a connectivity graph that is time-varying but whose dynamics may be kn...
139
Voted
CVPR
2009
IEEE
15 years 10 months ago
2009
IEEE
In this work, we present a non-rigid approach to jointly solve the tasks of 2D-3D pose estimation and 2D image segmentation. In general, most frameworks which couple both pose est...
126
Voted
CGO
2008
IEEE
15 years 5 months ago
2008
IEEE
Data-flow analysis is an integral part of any aggressive optimizing compiler. We propose a framework for improving the precision of data-flow analysis in the presence of complex c...
128
Voted
KDD
2005
ACM
15 years 9 months ago
2005
ACM
This paper presents a framework for user-oriented text mining. It is then illustrated with an example of discovering knowledge from competitors’ websites. The knowledge to be di...