3991 search results - page 39 / 799 » Bounding homogeneous models |
ICRA
2000
IEEE
14 years 6 days ago
2000
IEEE
A differential drive robot is perhaps the simplest type of mobile robot, and the bounded velocity model is perhaps the simplest useful model of the admissible controls. This paper...
ADCM
2002
13 years 7 months ago
2002
We classify the homogeneous polynomials in three variables whose toric polar linear system defines a Cremona transformation. This classification includes, as a proper subset, the c...
ICML
1997
IEEE
14 years 8 months ago
1997
IEEE
TASE
2008
IEEE
14 years 2 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
UAI
2004
13 years 9 months ago
2004
Recent research has made significant progress on the problem of bounding log partition functions for exponential family graphical models. Such bounds have associated dual paramete...