6355 search results - page 1140 / 1271 » From Logic to Games |
171
click to vote
USENIX
2000
15 years 7 months ago
2000
Mobile computers often benefit from software which adapts to their location. For example, a computer might be backed up when at the office, or the default printer might always be ...
215
click to vote
UAI
1997
15 years 7 months ago
1997
Bayesian networks provide a modeling language and associated inference algorithm for stochastic domains. They have been successfully applied in a variety of medium-scale applicati...
178
click to vote
AAAI
1994
15 years 7 months ago
1994
The situation calculus is a popular technique for reasoning about action and change. However, its restriction to a firstorder syntax and pure deductive reasoning makes it unsuitab...
152
click to vote
EACL
1993
ACL Anthology
15 years 7 months ago
1993
ACL Anthology
The first part of the paper develops a novel, sortally-based approach to the problem of aspectual composition. The account is argued to be superior on both empirical and computati...
171
click to vote
DAGSTUHL
1996
15 years 7 months ago
1996
A supercompiler is a program which can performa deep transformation of programsusing a principle which is similarto partial evaluation, and can be referred to as metacomputation. ...