5216 search results - page 652 / 1044 » Planning as Model Checking |
157
click to vote
ICTAI
2008
IEEE
16 years 1 months ago
2008
IEEE
A fundamental challenge that must be met to achieve a usable conversational interface to Geographic Information System (GIS) is how to enable a more natural interaction between th...
163
click to vote
EUROMICRO
2007
IEEE
16 years 1 months ago
2007
IEEE
Organizations adopting Enterprise Resource Planning (ERP) are also adopting standard ERPvendor-specific process models for engineering their requirements. Making successfully a li...
176
click to vote
IDEAS
2007
IEEE
16 years 1 months ago
2007
IEEE
We present an extensible and customizable framework for the autonomous discovery of Semantic Web services based on their QoS properties. Using semantic technologies, users can spe...
202
Voted
EUROSYS
2010
ACM
16 years 26 days ago
2010
ACM
The mainstream adoption of cluster, grid, and most recently cloud computing models have broadened the applicability of parallel programming from scientific communities to
the bus...
258
click to vote
ICRA
2006
IEEE
16 years 23 days ago
2006
IEEE
— In this paper, we present a trajectory tracking control algorithm for an autonomous motorcycle for the DARPA Grand Challenge. The mathematical dynamic model of the autonomous m...