6020 search results - page 210 / 1204 » A New Approach to Model Counting |
145
click to vote
ESORICS
2008
Springer
15 years 6 months ago
2008
Springer
The Border Gateway Protocol (BGP) is the de facto inter-domain routing protocol that connects autonomous systems (ASes). Despite its importance for the Internet infrastructure, BGP...
110
click to vote
EMNLP
2007
15 years 6 months ago
2007
We present a comparative error analysis of the two dominant approaches in datadriven dependency parsing: global, exhaustive, graph-based models, and local, greedy, transition-base...
135
click to vote
ITCC
2003
IEEE
15 years 10 months ago
2003
IEEE
The goal of this paper is to describe a new approach to a content creation and delivery mechanism for a programming course. This approach is based on the concept of creating a lar...
105
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
Acute renal rejection is the most common reason for graft (transplanted kidney) failure after kidney transplantation, and early detection is crucial to survival of function in the...
121
click to vote
ICRA
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper describes a new method for improving the accuracy of range information using low resolution ultrasonic sensors mounted on a mobile robot. These sensors emit ultra-sound...