6291 search results - page 373 / 1259 » Components Are from Mars |
179
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, I describe MRDCOM, a mobile reverse-demand communication system for the pizza industry. The web-based system will support student (buyer) sign-up and will be capabl...
220
click to vote
TACAS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
194
Voted
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
— We present a vision- and ladar-based approach to autonomous driving on rural and desert roads that has been tested extensively in a closed-loop system. The vision component use...
189
click to vote
ICCV
2005
IEEE
16 years 1 months ago
2005
IEEE
In this study, we demonstrate the effectiveness of using extended light sources for modeling the appearance of an object for varying illumination. Extended light sources have a ra...
215
click to vote
SRDS
2005
IEEE
16 years 1 months ago
2005
IEEE
We propose and evaluate a novel framework for enforcing global coordination and control policies over interacting software components in enterprise computing environments. This fra...