Sciweavers

4631 search results - page 54 / 927
» Experiences with an Environment Generation System
Sort
View
MOBISYS
2004
ACM
16 years 3 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»
15 years 5 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
16 years 4 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
15 years 7 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»
15 years 5 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,...