46 search results - page 1 / 10 » Sometimes Updates Are Circumscription |
IJCAI
1989
13 years 6 months ago
1989
Model-based revision of knowledge bases ex pressed as first-order theories was shown in [Winslett 88b] to be useful as a means of de scribing and reasoning about the effects o...
MDM
2007
Springer
13 years 11 months ago
2007
Springer
— We consider the problem of efficiently broadcasting incremental updates to multiple terminals that contain outdated (and possibly different) initial copies of the data. This s...
DSS
2008
2008
Game-theoretic modeling and control of military operations with partially emotional civilian players
13 years 4 months ago
Civilians are not just passively static but might purposefully take actions to help one side in a battle. Sometimes civilians might directly join one side if they are excessively ...
ICDM
2009
IEEE
13 years 11 months ago
2009
IEEE
—Eigenvalue analysis is an important aspect in many data modeling methods. Unfortunately, the eigenvalues of the sample covariance matrix (sample eigenvalues) are biased estimate...
ECOOP
2005
Springer
13 years 10 months ago
2005
Springer
There are many algorithms for concurrent garbage collection, but they are complex to describe, verify, and implement. This has resulted in a poor understanding of the relationships...