6291 search results - page 373 / 1259 » Components Are from Mars |
163
Voted
GECCO
2007
Springer
16 years 27 days 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...
187
click to vote
TACAS
2007
Springer
16 years 26 days 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...
169
click to vote
ICRA
2006
IEEE
16 years 23 days 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...
169
click to vote
ICCV
2005
IEEE
16 years 11 days 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...
191
click to vote
SRDS
2005
IEEE
16 years 9 days 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...