849 search results - page 56 / 170 » A survey of state vectors |
165
click to vote
ISRR
2001
Springer
15 years 10 months ago
2001
Springer
Field Robots are machines that work in unstructured environments, including under water, in mines, in forests and on farms, and in the air. These applications involve both advance...
119
click to vote
ICRA
2000
IEEE
15 years 10 months ago
2000
IEEE
The development of two new classes of commercial underwater robotic vehicles – deep diving work-class remotely operated vehicles and survey-class autonomous vehicles – is bein...
148
click to vote
COMPSAC
1997
IEEE
15 years 10 months ago
1997
IEEE
Formal methods are used in a surprisingly wide variety of applications and ways throughout the world. While they may still’be considered a niche market, there is growing evidenc...
148
click to vote
SEKE
1992
Springer
15 years 10 months ago
1992
Springer
The current state of traditional software development is surveyed and essential problems are investigated on the basis of system theoretical considerations. The concept of optimis...
174
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
The unfolding of a system represents in a single branching structure all its possible computations: it is the cornerstone both of semantical constructions and of efficient partial ...