Sciweavers

4211 search results - page 101 / 843
» A formal approach to MASQ
Sort
View
AAAI
2010
15 years 2 months ago
Multi-Agent Plan Recognition: Formalization and Algorithms
Multi-Agent Plan Recognition (MAPR) seeks to identify the dynamic team structures and team behaviors from the observations of the activity-sequences of a set of intelligent agents...
Bikramjit Banerjee, Landon Kraemer, Jeremy Lyle
88
Voted
ZUM
2000
Springer
15 years 4 months ago
Playing with Abstraction and Refinement for Managing Features Interactions
with abstraction and refinement for managing features interactions A methodological approach to feature interaction problem Dominique Cansell and Dominique M
Dominique Cansell, Dominique Méry
122
Voted
ENTCS
2006
131views more  ENTCS 2006»
15 years 22 days ago
The Case for Analog Circuit Verification
The traditional approach to validate analog circuits is to utilize extensive SPICElevel simulations. The main challenge of this approach is knowing when all important corner cases...
Chris J. Myers, Reid R. Harrison, David Walter, Ni...
122
Voted
ICDE
2010
IEEE
178views Database» more  ICDE 2010»
14 years 10 months ago
The Hybrid-Layer Index: A synergic approach to answering top-k queries in arbitrary subspaces
In this paper, we propose the Hybrid-Layer Index (simply, the HL-index) that is designed to answer top-k queries efficiently when the queries are expressed on any arbitrary subset ...
Jun-Seok Heo, Junghoo Cho, Kyu-Young Whang
111
Voted
TKDE
2002
91views more  TKDE 2002»
15 years 11 days ago
The EVE Approach: View Synchronization in Dynamic Distributed Environments
The construction and maintenance of data warehouses (views) in large-scale environments composed of numerous distributed and evolving information sources (ISs) such as the WWW has ...
Amy J. Lee, Anisoara Nica, Elke A. Rundensteiner