Sciweavers

6258 search results - page 1021 / 1252
» Applied Text Generation
Sort
View
CAV
2004
Springer
154views Hardware» more  CAV 2004»
15 years 8 months ago
Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...
Jesse D. Bingham, Anne Condon, Alan J. Hu, Shaz Qa...
ARGMAS
2006
Springer
15 years 8 months ago
Arguments and Counterexamples in Case-Based Joint Deliberation
Multiagent learning can be seen as applying ML techniques to the core issues of multiagent systems, like communication, coordination, and competition. In this paper, we address the...
Santiago Ontañón, Enric Plaza
ATAL
2006
Springer
15 years 8 months ago
Action awareness: enabling agents to optimize, transform, and coordinate plans
As agent systems are solving more and more complex tasks in increasingly challenging domains, the systems themselves are becoming more complex too, often compromising their adapti...
Freek Stulp, Michael Beetz
CRV
2004
IEEE
160views Robotics» more  CRV 2004»
15 years 8 months ago
A New Integrative Approach to Time Varying Image Interpretation
- This paper presents a global method to process monocular image sequences for mobile robot obstacle detection. We do not aim to achieve a complete scene reconstruction, but only t...
Philippe Guermeur
DATE
2004
IEEE
158views Hardware» more  DATE 2004»
15 years 8 months ago
Bandwidth-Constrained Mapping of Cores onto NoC Architectures
We address the design of complex monolithic systems, where processing cores generate and consume a varying and large amount of data, thus bringing the communication links to the e...
Srinivasan Murali, Giovanni De Micheli
« Prev « First page 1021 / 1252 Last » Next »