5216 search results - page 446 / 1044 » Planning as Model Checking |
191
click to vote
GIS
2009
ACM
15 years 10 months ago
2009
ACM
A spatiotemporal network is a spatial network (e.g., road network) along with the corresponding time-dependent weight (e.g., travel time) for each edge of the network. The design ...
176
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— Legged robots require accurate models of their environment in order to plan and execute paths. We present a probabilistic technique based on Gaussian processes that allows terr...
150
click to vote
INFSOF
2006
15 years 6 months ago
2006
: Mass customization has become one of the key strategies for a service provider to differentiate itself from its competitors in a highly segmented global service market. This pape...
166
click to vote
HICSS
2003
IEEE
16 years 2 days ago
2003
IEEE
Enterprise resource planning (ERP) maintenance and upgrade activities are receiving much attention in ERP-using organizations. Annual maintenance costs approximate 25% of initial ...
225
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...