Sciweavers

2210 search results - page 256 / 442
» Applying a Model-based Approach for Embedded System Developm...
Sort
View
AAAI
2006
15 years 4 months ago
Using an Ontology for Knowledge Acquisition
We describe an approach to distributed knowledge acquisition using an ontology. The ontology is used to represent and reason about soldier performance. These methods are embedded ...
Stacy Lovell, Webb Stacy
FPLAY
2008
15 years 4 months ago
Crafting game-models using reactive system design
This paper presents a game-model of a gym training system, where the behavior of the system is specified using languages developed originally for reactive system design, which dri...
David Harel, Itai Segall, Hillel Kugler, Yaki Sett...
AFPAC
2000
Springer
257views Mathematics» more  AFPAC 2000»
15 years 7 months ago
The Multidimensional Isotropic Generalization of Quadrature Filters in Geometric Algebra
In signal processing, the approach of the analytic signal is a capable and often used method. For signals of finite length, quadrature filters yield a bandpass filtered approxim...
Michael Felsberg, Gerald Sommer
JAIR
2008
123views more  JAIR 2008»
15 years 3 months ago
CTL Model Update for System Modifications
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
Yan Zhang, Yulin Ding
ICASSP
2009
IEEE
15 years 9 months ago
Sparse LMS for system identification
We propose a new approach to adaptive system identification when the system model is sparse. The approach applies the ℓ1 relaxation, common in compressive sensing, to improve t...
Yilun Chen, Yuantao Gu, Alfred O. Hero III