5015 search results - page 323 / 1003 » Model Checking a Path |
172
click to vote
ECIS
2011
14 years 6 months ago
2011
Taking a process research approach, we have followed a government agency in the railroad industry over a six-year-period as they have engaged in an IT-based innovation project. Pr...
205
click to vote
ICRA
2007
IEEE
16 years 26 days ago
2007
IEEE
— Consider a biped evolving in the sagittal plane. The unexpected rotation of the supporting foot can be avoided by controlling the zero moment point or ZMP. The objective of thi...
159
click to vote
VTC
2006
IEEE
16 years 17 days ago
2006
IEEE
— We present a solution to the problem of identifying clusters from MIMO measurement data in a data window, with a minimum of user interaction. Conventionally, visual inspection ...
187
click to vote
INFOCOM
2003
IEEE
15 years 12 months ago
2003
IEEE
We investigate network management information for light-path assessment to dynamically set up end-to-end lightpaths across administrative domains. Our focus is on invetigating what...
174
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
With the success of Mars Pathfinder's Sojourner rover, a new era of planetary exploration has opened, with demand for highly capable mobile robots. These robots must be able ...