7167 search results - page 826 / 1434 » Answer Set Programming |
162
click to vote
ECOOP
1997
Springer
15 years 10 months ago
1997
Springer
A type inclusion test is a procedure to decide whether two types are related by a given subtyping relationship. An efficient implementation of the type inclusion test plays an impo...
195
click to vote
RTSS
1996
IEEE
15 years 10 months ago
1996
IEEE
In this paper we address the problem of middleware design for constructing ATM LAN based distributed industrial plant monitoring and control systems. In particular, we present a re...
170
Voted
ICANN
1997
Springer
15 years 10 months ago
1997
Springer
We use simulated soccer to study multiagent learning. Each team's players (agents) share action set and policy but may behave differently due to position-dependent inputs. All...
230
click to vote
GPC
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development. The actor model supports...
186
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
We describe the formalization of a correctness proof for a conflict detection algorithm for firewalls in the Coq Proof Assistant. First, we give formal definitions in Coq of a fir...