Sciweavers

4631 search results - page 54 / 927
» Experiences with an Environment Generation System
Sort
View
MOBISYS
2004
ACM
14 years 9 months ago
Implementing Software on Resource-Constrained Mobile Sensors: Experiences with Impala and ZebraNet
ZebraNet is a mobile, wireless sensor network in which nodes move throughout an environment working to gather and process information about their surroundings [10]. As in many sen...
Ting Liu, Christopher M. Sadler, Pei Zhang, Margar...
PGLDB
2003
129views Database» more  PGLDB 2003»
13 years 11 months ago
Towards a Plan-based Learning Environment
The use of the Plan Recognition/Plan Generation paradigm in the context of corporate training is discussed. The learning environment is grounded on three-level conceptual schemas ...
Angelo E. M. Ciarlini, Antonio L. Furtado
OSDI
2008
ACM
14 years 10 months ago
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive prog...
Cristian Cadar, Daniel Dunbar, Dawson R. Engler
ECAI
2004
Springer
14 years 1 months ago
Knowledge-Based Cinematography and Its Applications
Automated control of a virtual camera is useful for both linear animation and interactive virtual environments. We have constructed a knowledge-based system that allows users to e...
Doron A. Friedman, Yishai A. Feldman
ERSA
2003
137views Hardware» more  ERSA 2003»
13 years 11 months ago
Next Generation Architecture for Heterogeneous Embedded Systems
The Software Communications Architecture (SCA), a mandatory specification for Software Radio implementations by the Joint Tactical Radio System (JTRS), defines a Common Object R...
S. Murat Bicer, Frank Pilhofer, Graham Bardouleau,...