322 search results - page 54 / 65 » Combinations of Abstract Domains for Logic Programming |
112
Voted
ROBOCUP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper describes a highly modular hierarchical behaviorbased control system for robots. Key features of the architecture include: easy addition/removal of behaviors, ...
134
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Service coordination in domains involving temporal constraints and duration uncertainty has previously been solved with a greedy algorithm that attempts to satisfy service requests...
361
Voted
ICFP
2009
ACM
16 years 4 months ago
2009
ACM
re a popular form of abstract computation. Being more general than monads, they are more broadly applicable, and in parare a good abstraction for signal processing and dataflow co...
125
Voted
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
1 : Logic in Specification and Verification (abstract) Natarajan Shankar (SRI) Session Chair : Sungdeok Cha 12 : 00 13 : 00 Lunch 13 : 00 15 : 00 2 : Boolean Modeling of Cell Biolo...
163
Voted
WWW
2003
ACM
16 years 4 months ago
2003
ACM
SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial auto...