1361 search results - page 21 / 273 » Spaces of practice |
ICRA
2006
IEEE
14 years 3 months ago
2006
IEEE
- Autonomous space robots are needed for future missions such as satellite capture and large space structure construction. Precise control of these space robots is important for sp...
SIGSOFT
2007
ACM
14 years 10 months ago
2007
ACM
In software engineering, the use of models and metamodeling approaches (e.g., MDA with MOF/UML) for purposes such as software design or software validation is an established pract...
IPPS
2000
IEEE
14 years 2 months ago
2000
IEEE
Over the last decade significant progress in optoelectronic devices and their integration techniques have made Free-Space Optical Interconnects (FSOI) one of the few physical appro...
ADCM
2010
13 years 10 months ago
2010
Abstract. We construct non-tight frames in finite-dimensional spaces consisting of periodic functions. In order for these frames to be useful in practice one needs to calculate a d...
STTT
2008
13 years 9 months ago
2008
Explicit model checking algorithms explore the full state space of a system. State spaces are usually treated as directed graphs without any specific features. We gather a large co...