2632 search results - page 293 / 527 » Alternating Timed Automata |
197
click to vote
DALT
2007
Springer
16 years 22 days 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...
173
click to vote
ECSQARU
2007
Springer
16 years 22 days ago
2007
Springer
This paper presents a new approach to inference in Bayesian networks. The principal idea is to encode the network by logical sentences and to compile the resulting encoding into an...
166
click to vote
ESOP
2007
Springer
16 years 22 days ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
175
click to vote
TELETRAFFIC
2007
Springer
16 years 20 days 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 ...
145
click to vote
WG
2007
Springer
16 years 20 days ago
2007
Springer
Kelly-width is a parameter of directed graphs recently proposed by Hunter and Kreutzer as a directed analogue of treewidth. We give several alternative characterizations of direct...