2621 search results - page 235 / 525 » Generalized Algorithms for Constructing Statistical Language... |
118
Voted
EMNLP
2007
15 years 4 months ago
2007
We present a data-driven variant of the LR algorithm for dependency parsing, and extend it with a best-first search for probabilistic generalized LR dependency parsing. Parser act...
130
click to vote
CRV
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper, we present a technique for the construction of a camera sensor model for visual SLAM. The proposed method is an extension of the general camera calibration procedur...
118
Voted
TACAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
128
Voted
SIGSOFT
1994
ACM
15 years 6 months ago
1994
ACM
A dependence model for reverse engineering should treat procedures in a modular fashion and should be fine-grained, distinguishing dependences that are due to different variables....
117
click to vote
POPL
2010
ACM
16 years 5 days ago
2010
ACM
Building semantic models that account for various kinds of indirect reference has traditionally been a difficult problem. Indirect reference can appear in many guises, such as hea...