150 search results - page 4 / 30 » Solving Small TSPs with Constraints |
129
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
The problem of making a bicycle trace a strictly convex Jordan curve with bounded roll angle and bounded speed is investigated. The problem is solved by enforcing a virtual holonom...
156
Voted
ICCAD
2007
IEEE
16 years 20 days ago
2007
IEEE
Functional dependency is concerned with rewriting a Boolean function f as a function h over a set of base functions {g1, …, gn}, i.e. f = h(g1, …, gn). It plays an important r...
134
Voted
ENTCS
2008
15 years 3 months ago
2008
Proofs of termination in term rewriting involve solving constraints between terms coming from (parts of) the rules of the term rewriting system. A common way to deal with such con...
117
Voted
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
132
Voted
ICDAR
2011
IEEE
14 years 3 months ago
2011
IEEE
— This paper describes the design and implementation of a digital ink recognition server for handwritten Japanese text. Currently, fast and accurate recognition of online handwri...