Sciweavers

8337 search results - page 395 / 1668
» Reasoning With Characteristic Models
Sort
View
SIGMOD
2005
ACM
119views Database» more  SIGMOD 2005»
16 years 7 months ago
Update-Pattern-Aware Modeling and Processing of Continuous Queries
A defining characteristic of continuous queries over on-line data streams, possibly bounded by sliding windows, is the potentially infinite and time-evolving nature of their input...
Lukasz Golab, M. Tamer Özsu
CIARP
2009
Springer
16 years 1 months ago
On Environmental Model-Based Visual Perception for Humanoids
In this article an autonomous visual perception framework for humanoids is presented. This model-based framework exploits the available knowledge and context acquired during global...
David Israel Gonzalez-Aguirre, S. Wieland, Tamim A...
ICC
2007
IEEE
16 years 1 months ago
New UWB Receiver Designs Based on a Gaussian-Laplacian Noise-Plus-MAI Model
—Two novel receiver structures which surpass the performance of the conventional matched filter receiver are proposed for ultra-wide bandwidth multiple access communications. Th...
Norman C. Beaulieu, Somasundaram Niranjayan
ICCBSS
2005
Springer
16 years 10 days ago
Using Goals and Quality Models to Support the Matching Analysis During COTS Selection
The selection process is a crucial activity of the development of COTS-based systems. A key step of the evaluation of COTS components carried out during selection is the matching b...
Carina Alves, Xavier Franch, Juan Pablo Carvallo, ...
209
Voted
ASIAN
2003
Springer
170views Algorithms» more  ASIAN 2003»
16 years 2 days ago
Model Checking Probabilistic Distributed Systems
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...
Benedikt Bollig, Martin Leucker