Sciweavers

3161 search results - page 312 / 633
» Documenting framework behavior
Sort
View
DAC
1997
ACM
15 years 11 months ago
Hierarchical Sequence Compaction for Power Estimation
- This paper presents an effective technique for compacting a large sequence of input vectors into a much smaller one such that when the two sequences are applied to any circuit, t...
Radu Marculescu, Diana Marculescu, Massoud Pedram
ICIA
2007
15 years 9 months ago
Integrating Multiple Representations of Spatial Knowledge for Mapping, Navigation, and Communication
A robotic chauffeur should reason about spatial information with a variety of scales, dimensions, and ontologies. Rich representations of both the quantitative and qualitative cha...
Patrick Beeson, Matt MacMahon, Joseph Modayil, Ani...
ATAL
2008
Springer
15 years 8 months ago
An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent Systems
In open multi-agent systems (MASs) we cannot assume agents to be developed in a centralized fashion. Recent proposals of commitmentbased communication frameworks aim at increasing ...
Paola Spoletini, Mario Verdicchio
AGI
2008
15 years 8 months ago
Participating in Cognition: The Interactive Search Optimization Algorithm
. We consider the Distributed Cognition paradigm as a framework for implementing artificial components of human cognition. We take email/internet search as a setting of distributed...
Nadav Abkasis, Israel Gottlieb, Eliraz Itzchaki
SNPD
2008
15 years 8 months ago
Testing Component-Based Real Time Systems
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
Rachid Bouaziz, Ismail Berrada