417 search results - page 58 / 84 » Extending the Hegselmann-Krause Model I |
100
click to vote
FOCS
1997
IEEE
15 years 6 months ago
1997
IEEE
Abstract. We show how to associate e ectively computableobstructions to a waitfree distributed decision task (I;O; ) in the asynchronous shared-memory, readwrite model. The key new...
135
Voted
GIS
1992
ACM
15 years 6 months ago
1992
ACM
Machine learning techniques such as tree induction have become accepted tools for developing generalisations of large data sets, typically for use with production rule systems in p...
ATAL
2009
Springer
15 years 5 months ago
2009
Springer
While there has been much work on developing frameworks and models of norms and normative systems, consideration of the impact of norms on the practical reasoning of agents has at...
113
click to vote
BTW
2007
Springer
15 years 5 months ago
2007
Springer
: The availability of versioned text collections such as the Internet Archive opens up opportunities for time-aware exploration of their contents. In this paper, we propose time-tr...
217
click to vote
ACL2
2006
ACM
15 years 5 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...