2032 search results - page 140 / 407 » Encodings of the Sequence Constraint |
182
click to vote
ICONS
2008
IEEE
16 years 26 days ago
2008
IEEE
In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a ...
153
click to vote
IROS
2007
IEEE
16 years 22 days ago
2007
IEEE
— In this paper we present a new method for kinodynamic motion planning in environments that contain both static and moving obstacles. We present an efficient twostage approach:...
157
click to vote
RTA
2010
Springer
15 years 10 months ago
2010
Springer
Decreasing diagrams technique (van Oostrom, 1994) is a technique that can be widely applied to prove confluence of rewrite systems. To directly apply the decreasing diagrams techn...
160
click to vote
JPDC
2006
15 years 6 months ago
2006
We address the problem of efficient out-of-core code generation for a special class of imperfectly nested loops encoding tensor contractions arising in quantum chemistry computati...
187
click to vote
ACL
2009
15 years 4 months ago
2009
We formulate the problem of nonprojective dependency parsing as a polynomial-sized integer linear program. Our formulation is able to handle non-local output features in an effici...