803 search results - page 33 / 161 » Aggregation operators and decision modeling |
MOBICOM
2006
ACM
14 years 1 months ago
2006
ACM
For data-collection applications in sensor networks, it is important to ensure all data sources have equal (or weighted) access to network bandwidth so that the base stations rece...
CAV
2000
Springer
13 years 11 months ago
2000
Springer
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...
ECAL
2007
Springer
14 years 1 months ago
2007
Springer
Multi-agent organizations in dynamic environments, need to have the ability to adapt to environmental changes to ensure a continuation of proper functioning. Such adaptations can b...
SIAMCOMP
2002
13 years 7 months ago
2002
Linear quantum cellular automata were introduced recently as one of the models of quantum computing. A basic postulate of quantum mechanics imposes a strong constraint on any quan...
AEI
2004
13 years 7 months ago
2004
The estimation of productivity rates in cyclic construction processes is a difficult, but essential task in the planning of construction projects. The conventional method--a calcu...