Sciweavers

13489 search results - page 299 / 2698
» Self-migration of operating systems
Sort
View
FLAIRS
1998
15 years 8 months ago
An Intelligent Debriefing System for Situation Awareness Training
An option to ensure that operators of complex systems have adequate situation awareness (SA) to support decision making and action is to train them to acquire and maintain SA. Thi...
Ellen J. Bass, Samuel T. Ernst-Fortin, Phillip C. ...
JLP
2006
126views more  JLP 2006»
15 years 6 months ago
Compositional modeling and refinement for hierarchical hybrid systems
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
FUIN
2010
114views more  FUIN 2010»
15 years 4 months ago
A Logic-Based System for e-Tourism
In this paper we present the IDUM system, a successful application of logic programming to e-tourism. IDUM exploits two technologies that are based on the state-of-the-art ASP syst...
Francesco Ricca, Antonella Dimasi, Giovanni Grasso...
ICCV
2011
IEEE
14 years 6 months ago
Scale Space for Central Catadioptric Systems. Towards a generic camera feature extractor.
In this paper we propose a new approach to compute the scale space of any omnidirectional image acquired with a central catadioptric system. When these cameras are central they ar...
Luis Puig, Jose Guerrero
ICC
2011
IEEE
242views Communications» more  ICC 2011»
14 years 6 months ago
A High-Performance 8-Tap FIR Filter Using Logarithmic Number System
—This paper presents an approach to implement a high-performance 8-tap digital FIR (Finite Impulse Response) filter using the Logarithmic Number System. In the past, FIR filter...
Yan Sun, Min Sik Kim