8695 search results - page 414 / 1739 » Making the Complex Simple |
202
click to vote
IJAOSE
2010
15 years 4 months ago
2010
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
219
click to vote
TCS
2010
15 years 2 months ago
2010
Uniform random generators deliver a simple empirical means to estimate the average complexity of an algorithm. We present a general rejection algorithm that generates sequential l...
369
click to vote
COMPGEOM
2011
ACM
14 years 11 months ago
2011
ACM
Several recent works considered cooperative cleaning in static and dynamic environments, which incorporates a swarm of simple robots cleaning an expanding region of contaminated c...
240
click to vote
FOSSACS
2011
Springer
14 years 11 months ago
2011
Springer
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
327
click to vote
ICDE
2000
IEEE
16 years 9 months ago
2000
IEEE
Push-based data delivery requires knowledge of user interests for making scheduling, bandwidthallocation, and routing decisions. Such information is maintained as user profiles. W...