6320 search results - page 1192 / 1264 » Towards Situated Computing |
133
Voted
LOPSTR
2005
Springer
15 years 9 months ago
2005
Springer
Partial evaluation of logic programs which contain impure predicates poses non-trivial challenges. Impure predicates include those which produce side-effects, raise errors (or exc...
125
Voted
RULEML
2005
Springer
15 years 9 months ago
2005
Springer
We show the first detailed realistic e-business application scenario that uses and exploits capabilities of the SweetRules V2.1 toolset for e-contracting using the SweetDeal approa...
124
Voted
WINE
2005
Springer
15 years 9 months ago
2005
Springer
We consider a class of networks where n agents need to send their traffic from a given source to a given destination over m identical, non-intersecting, and parallel links. For suc...
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
There are many situations where an agent can perform one of several sets of actions in responses to changes in its environment, and the agent chooses to perform the set of actions...
149
Voted
ACMDIS
2004
ACM
15 years 9 months ago
2004
ACM
The success of translating an analog or manual practice into a digital interactive system may depend on how well that translation captures not only the functional what and how asp...