5754 search results - page 713 / 1151 » Multi-class Model M |
208
click to vote
ATAL
2005
Springer
16 years 1 months ago
2005
Springer
Researchers have been emphasizing the strong role that multi-agent systems can play progressively towards the design and implementation of complex autonomic systems. The aim of th...
175
click to vote
CAV
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
221
click to vote
EPIA
2005
Springer
16 years 1 months ago
2005
Springer
Each part of a mobile robot has particular aspects of its own, which must be integrated in order to successfully conclude a specific task. Among these parts, sensing enables to co...
232
click to vote
EPIA
2005
Springer
16 years 1 months ago
2005
Springer
We are interested in the challenging scientific pursuit of how to characterize human activities in any formal meeting situation by tracking people’s positions with a computer vi...
204
click to vote
HPCC
2005
Springer
16 years 1 months ago
2005
Springer
In this paper we present an exhaustive evaluation of the memory subsystem in a chip-multiprocessor (CMP) architecture composed of 16 cores. The characterization is performed making...