Sciweavers

3199 search results - page 428 / 640
» Variability in Automation System Models
Sort
View
LPNMR
2005
Springer
16 years 8 days ago
Testing Strong Equivalence of Datalog Programs - Implementation and Examples
In this work we describe a system for determining strong equivalence of disjunctive non-ground datalog programs under the stable model semantics. The problem is tackled by reducing...
Thomas Eiter, Wolfgang Faber, Patrick Traxler
SAINT
2003
IEEE
16 years 1 days ago
Planning For Web Services the Hard Way
In this paper we outline a framework for performing automated discovery, composition and execution of web services based solely on the information available in interface descripti...
Mark James Carman, Luciano Serafini
144
Voted
AAAI
2007
15 years 9 months ago
Interest-Matching Comparisons using CP-nets
The formation of internet-based social networks has revived research on traditional social network models as well as interest-matching, or match-making, systems. In order to autom...
Andrew W. Wicker, Jon Doyle
ECEH
2006
126views Healthcare» more  ECEH 2006»
15 years 8 months ago
Process-based E-Service-Logistics for Healthcare Networks
: Coordination in healthcare networks becomes increasingly important to enable integrated care scenarios, to enhance patient satisfaction and to reduce costs of the treatment proce...
Günter Schicker, Freimut Bodendorf
CACM
1999
132views more  CACM 1999»
15 years 6 months ago
Agents That Buy and Sell
Software agents have become very popular in the last six or so years. They have been used successfully to filter information, match people with similar interests and automate repe...
Pattie Maes, Robert H. Guttman, Alexandros Moukas