3729 search results - page 565 / 746 » On Formal Modeling of Agent Computations |
200
click to vote
COORDINATION
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Recently the term Web Services Orchestration has been introduced to address composition and coordination of Web Services. Several languages to describe orchestration for ...
151
click to vote
LPNMR
2005
Springer
15 years 12 months ago
2005
Springer
Two approaches to logic programming with probabilities emerged over time: bayesian reasoning and probabilistic satisfiability (PSAT). The attractiveness of the former is in tying ...
176
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
Matchmaking is the problem of matching offers and requests, such as supply and demand in a marketplace, services and customers in a service agency, etc., where both partners are ...
158
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
Decision makers (humans or software agents alike) are faced with the challenge of examining large volumes of information originating from heterogeneous sources with the goal of as...
163
click to vote
HCI
2009
15 years 4 months ago
2009
Abstract. A large amount of research attempts to define trust, yet relatively little research attempts to experimentally verify what makes trust needed in interactions with humans ...