5216 search results - page 925 / 1044 » Planning as Model Checking |
113
Voted
HICSS
2007
IEEE
15 years 9 months ago
2007
IEEE
Since the Hong Kong SAR Government promulgated the first Digital 21 IT Strategy in November 1998, multiple major initiatives had been launched to establish the underlying infrastr...
125
Voted
HICSS
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— UrbanSim is a large scale land use and transportation simulator that models the possible long-term effects of different policies on urban regions. The output is present...
103
Voted
ICRA
2007
IEEE
15 years 9 months ago
2007
IEEE
— The rapidly increasing complexity of tasks robotic systems are expected to carry out underscores the need for the development of motion planners that can take into account disc...
103
Voted
ICRA
2007
IEEE
15 years 9 months ago
2007
IEEE
— One of the most notable and recognizable features of robot motion is the abrupt transitions between actions in action sequences. In contrast, humans and animals perform sequenc...
152
Voted
ICSEA
2007
IEEE
15 years 9 months ago
2007
IEEE
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...