1355 search results - page 150 / 271 » Alternating Timed Automata over Bounded Time |
BIOWIRE
2007
Springer
14 years 3 months ago
2007
Springer
Abstract—One of the challenges in a military wireless sensor network is the determination of an information collection infrastructure which minimizes battery power consumption. T...
DALT
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Research on practical models of autonomous agents has largely focused on a procedural view of goal achievement. This allows for efficient implementations, but prevents an...
TELETRAFFIC
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This article proposes a hierarchical architecture for an infrastructure-based overlay network delivering multicast services. Such an overlay network is an alternative to ...
IEAAIE
2005
Springer
14 years 2 months ago
2005
Springer
When using a constructive search algorithm, solutions to scheduling problems such as the job shop and open shop scheduling problems are typically represented as permutations of the...
AI
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper extends a mereotopological theory of spatiotemporal reasoning to vague ”egg-yolk” regions. In this extension, the egg and its yolk are allowed to move and ...