2632 search results - page 293 / 527 » Alternating Timed Automata |
153
Voted
DALT
2007
Springer
15 years 10 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...
126
Voted
ECSQARU
2007
Springer
15 years 10 months 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...
119
Voted
ESOP
2007
Springer
15 years 10 months 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...
128
Voted
TELETRAFFIC
2007
Springer
15 years 9 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 ...
105
Voted
WG
2007
Springer
15 years 9 months 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...