2652 search results - page 227 / 531 » Path Differentials and Applications |
138
click to vote
CP
2008
Springer
15 years 8 months ago
2008
Springer
We present an incremental refinement algorithm for approximate compilation of constraint satisfaction models into multivalued decision diagrams (MDDs). The algorithm uses a vertex ...
128
click to vote
ACL
2008
15 years 7 months ago
2008
Detecting conflicting statements is a foundational text understanding task with applications in information analysis. We propose an appropriate definition of contradiction for NLP...
180
click to vote
CG
2005
Springer
15 years 6 months ago
2005
Springer
A clothoid has the property that its curvature varies linearly with arclength. This is a useful feature for the path of a vehicle whose turning radius is controlled as a linear fu...
161
click to vote
TWC
2008
15 years 6 months ago
2008
We present a novel approach in characterizing the optimal reliable multi-hop virtual multiple-input single-output (vMISO) routing in ad hoc networks. Under a high node density regi...
164
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Test case prioritization for regression testing can be performed using different metrics (e.g., statement coverage, path coverage) depending on the application context. Employing ...