Sciweavers

6846 search results - page 509 / 1370
» Developing an Active Observer
Sort
View
DELOS
2000
15 years 8 months ago
Challenging Ubiquitous Inverted Files
Stand-alone ranking systems based on highly optimized inverted file structures are generally considered `the' solution for building search engines. Observing various developm...
Arjen P. de Vries
CASCON
1996
123views Education» more  CASCON 1996»
15 years 8 months ago
Views on template-based parallel programming
For almost a decade we have been working at developing and using template-based models for coarse-grained parallel computing. Our initial system, FrameWorks, was positively receiv...
Ajit Singh, Jonathan Schaeffer, Duane Szafron
INFFUS
2006
112views more  INFFUS 2006»
15 years 7 months ago
Target motion analysis and track association with a network of proximity sensors
Target motion analysis and track association are the aims of this paper. It is assumed that the target trajectory is only partially observable by using temporal processing of a si...
Régis Donati, Jean-Pierre Le Cadre
JUCS
2008
182views more  JUCS 2008»
15 years 7 months ago
Modularizing Theorems for Software Product Lines: The Jbook Case Study
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...
Don S. Batory, Egon Börger
JLP
2006
126views more  JLP 2006»
15 years 7 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