1121 search results - page 73 / 225 » Location-routing: Issues, models and methods |
114
click to vote
FM
2008
Springer
15 years 3 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
122
click to vote
FMCAD
2008
Springer
15 years 3 months ago
2008
Springer
Abstract--This paper presents the verification of an asynchronous arbiter modeled at the circuit level with non-linear ordinary differential equations. We use Brockett's annul...
115
click to vote
BMVC
2000
15 years 3 months ago
2000
We describe a method to segment and depth order motion layers simultaneously in an image sequence. Previous approaches have tended to ignore the depth ordering issue or treat it a...
MVA
1992
15 years 2 months ago
1992
This paper describes a method to perform distance measurements inside buildings using a single video camera mounted on a mobile robot. This algorithm is designed specifically to c...
119
Voted
HAIS
2008
Springer
15 years 2 months ago
2008
Springer
Modeling environments with 3D feature based representations is a challenging issue in current mobile robotics. Fast and robust algorithms are required for applicability to navigati...