54 search results - page 6 / 11 » jirs 2010 |
IANDC
2010
13 years 7 months ago
2010
Iterative monads of Calvin Elgot were introduced to treat the semantics of recursive equations purely algebraically. They are Lawvere theories with the property that all ideal sys...
STACS
2010
Springer
14 years 5 months ago
2010
Springer
Testing whether there is an induced path in a graph spanning k given vertices is already NP-complete in general graphs when k = 3. We show how to solve this problem in polynomial t...
CAD
2010
Springer
13 years 10 months ago
2010
Springer
MOS surfaces are rational surfaces in R3,1 which provide rational envelopes of the associated two-parameter family of spheres. Moreover, all the offsets admit rational parameteriz...
JIRS
2010
13 years 8 months ago
2010
Abstract Localization is a key issue for a mobile robot, in particular in environments where a globally accurate positioning system, such as GPS, is not available. In these environ...
ENDM
2007
13 years 10 months ago
2007
Kreweras’ conjecture [9] asserts that every perfect matching of the hypercube Qd can be extended to a Hamiltonian cycle of Qd. We [5] proved this conjecture but here we present ...