505 search results - page 27 / 101 » Implementation of Belief Change Operators Using BDDs |
191
click to vote
POPL
2008
ACM
15 years 10 months ago
2008
ACM
Self-adjusting computation enables writing programs that can automatically and efficiently respond to changes to their data (e.g., inputs). The idea behind the approach is to stor...
IVC
2008
14 years 9 months ago
2008
A novel mathematical framework inspired on Morse Theory for topological triangle characterization in 2D meshes is introduced that is useful for applications involving the creation...
SRDS
2005
IEEE
15 years 3 months ago
2005
IEEE
Generalized snapshot isolation extends snapshot isolation as used in Oracle and other databases in a manner suitable for replicated databases. While (conventional) snapshot isolat...
NETCOOP
2007
Springer
15 years 3 months ago
2007
Springer
The Tit-for-Tat strategy implemented in BitTorrent (BT) clients is generally considered robust to selfish behaviours. The authors of [1] support this belief studying how Tit-for-T...
HICSS
2006
IEEE
15 years 3 months ago
2006
IEEE
Agility is a facet of software development attracting increasing interest. The purpose of this paper is to investigate the value of agility in practice. Data collected from senior...