3729 search results - page 623 / 746 » On Formal Modeling of Agent Computations |
175
click to vote
ACSW
2004
15 years 7 months ago
2004
The ability to distinguish between objects is the fundamental to learning and intelligent behavior in general. The difference between two things is the information we seek; the pr...
165
click to vote
IJCAI
2001
15 years 7 months ago
2001
ive probabilistic networks are qualitative abstractions of probabilistic networks, summarising probabilistic influences by qualitative signs. As qualitative networks model influen...
132
click to vote
COLING
1996
15 years 7 months ago
1996
2 Focus theory Pulman has shown that Higher-Order Unifcation (HOU) can be used to model the interpretation of focus. In this paper, we extend the unification based approach to case...
146
click to vote
BPM
2010
Springer
15 years 7 months ago
2010
Springer
During the previous years, we presented several results concerned with various issues related to the correctness of models for business processes and services (i. e., interorganiza...
139
click to vote
ESORICS
2010
Springer
15 years 7 months ago
2010
Springer
The security risk of a network against unknown zero day attacks has been considered as something unmeasurable since software flaws are less predictable than hardware faults and the...