2468 search results - page 131 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
111
Voted
MVA
1994
15 years 4 months ago
1994
The visual perceptional ability of computer systems to understand the environment is desirable in engineering design and manufacturing where automation is anticipated. I n order t...
124
Voted
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of...
136
click to vote
ICMCS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a real-time single-camera surveillance system, aiming at detecting and partly analyzing a group of people. A set of moving persons is segmented using a combina...
182
Voted
ISCOPE
1999
Springer
15 years 7 months ago
1999
Springer
The concept of design patterns has recently emerged as a new paradigm in the context of object-oriented design methodology. Similar ideas are being explored in other areas of compu...
125
Voted
ICPP
1998
IEEE
15 years 7 months ago
1998
IEEE
We address the problems of I/O scheduling and buffer management for general reference strings in a parallel I/O system. Using the standard parallel disk model withD disks and a sh...