5216 search results - page 644 / 1044 » Planning as Model Checking |
209
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
166
click to vote
CGI
2000
IEEE
15 years 11 months ago
2000
IEEE
Orthognathic surgery corrects a wide range of minor and major facial and jaw irregularities. This surgery will improve the patients’ ability to chew, speak and breathe. In many ...
162
click to vote
WSC
2008
15 years 9 months ago
2008
Demand forecast plays a critical role to determine capital investment for capacity planning. Given the involved uncertainties and long lead-time for capacity expansion, semiconduc...
278
click to vote
GIS
2008
ACM
16 years 7 months ago
2008
ACM
Isochrones are defined as the set of all points from which a specific point of interest is reachable within a given time span. This demo paper presents a solution to compute isoch...
149
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— We present a cascaded control architecture for a Yamaha RMAX robotic helicopter. The controller is composed of an inner-loop that stabilizes the unstable poles of the helicopte...