4670 search results - page 621 / 934 » Testing that distributions are close |
161
Voted
ICTAI
2005
IEEE
16 years 14 days ago
2005
IEEE
Lotos is the ISO formal specification language for describing and verifying concurrent and distributed systems. The simulation or execution of complex Lotos specifications is, h...
201
click to vote
ISORC
2005
IEEE
16 years 13 days ago
2005
IEEE
One of the problems with Java for real-time systems is the unpredictable behavior of garbage collection (GC). GC introduces unexpected load and causes undesirable delays for real-...
186
Voted
MOBIQUITOUS
2005
IEEE
16 years 13 days ago
2005
IEEE
The publish/subscribe model of communication provides sender/receiver decoupling and selective information dissemination that is appropriate for mobile environments characterized ...
150
click to vote
SIBGRAPI
2005
IEEE
16 years 13 days ago
2005
IEEE
This paper presents a linear complexity method for real-time stereo matching, in which the processing time is only dependent on the image resolution. Regions along each epipolar l...
199
Voted
SAC
2005
ACM
16 years 12 days ago
2005
ACM
This paper describes the use of fault tolerance in a multiagent system. Such an approach is based on the modeling of autonomous agents with planning capabilities. These capabiliti...