Sciweavers

2024 search results - page 245 / 405
» A Formal Model of Multi-agent Computations
Sort
View
LOPSTR
1999
Springer
15 years 3 months ago
Roles of Program Extension
Abstract. A formal and effective approach to the extension of the computational behaviour of logic programs is presented. The approach builds upon the following concepts. The exte...
Ralf Lämmel, Günter Riedewald, Wolfgang ...
ACII
2007
Springer
15 years 1 months ago
An Empathic Rational Dialog Agent
Recent research has shown that virtual agent able to express empathic emotions enhances human-machine interaction. In this paper, we present the capabilities that virtual agent sho...
Magalie Ochs, Catherine Pelachaud, David Sadek
96
Voted
ACL
1993
15 years 28 days ago
A Complete and Recursive Feature Theory
Various feature descriptions are being employed in constrained-based grammar formalisms. The common notational primitive of these descriptions are functional attributes called fea...
Rolf Backofen, Gert Smolka
STTT
2008
134views more  STTT 2008»
14 years 11 months ago
Automated verification of access control policies using a SAT solver
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...
Graham Hughes, Tevfik Bultan
PAKDD
2007
ACM
148views Data Mining» more  PAKDD 2007»
15 years 5 months ago
Mining Frequent Itemsets from Uncertain Data
Abstract. We study the problem of mining frequent itemsets from uncertain data under a probabilistic framework. We consider transactions whose items are associated with existential...
Chun Kit Chui, Ben Kao, Edward Hung