6722 search results - page 151 / 1345 » The DSML4MAS development environment |
142
click to vote
TITB
2008
15 years 4 months ago
2008
Abstract--Long-term human space exploration will require contingencies for emergency medical procedures including some capability to perform surgery. The ability to perform minimal...
134
click to vote
TACAS
2010
Springer
15 years 2 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
138
click to vote
CHI
1997
ACM
15 years 8 months ago
1997
ACM
measured together with upper-body and hand motion. This data would be used to create a truly “immersive”, tetherless musical environment, where any kind of body motion would be...
144
Voted
EDUTAINMENT
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we present a virtual learning environment which supports the learning process of long term sick children. By focusing on 3D Virtual Environments technology chronical...
149
click to vote
CIA
2006
Springer
15 years 8 months ago
2006
Springer
As the technical infrastructure to support Grid environments matures, attention must be focused on integrating such technical infrastructure with technologies to support more dynam...