417 search results - page 16 / 84 » Extending the Hegselmann-Krause Model I |
AML
2000
13 years 7 months ago
2000
The Wholeness Axiom (WA) is an axiom schema that can be added to the axioms of ZFC in an extended language {, j}, and that asserts the existence of a nontrivial elementary embeddin...
SIGGRAPH
2010
ACM
14 years 4 days ago
2010
ACM
We propose a physically based algorithm for synthesizing sounds synchronized with brittle fracture animations. Motivated by laboratory experiments, we approximate brittle fracture...
DSMML
2004
Springer
14 years 1 months ago
2004
Springer
The informative vector machine (IVM) is a practical method for Gaussian process regression and classification. The IVM produces a sparse approximation to a Gaussian process by com...
CONCUR
2001
Springer
14 years 4 days ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...
DOCENG
2007
ACM
13 years 11 months ago
2007
ACM
We present a set of XML language extensions that bring notions from functional programming to web authors, extending the power of declarative modelling for the web. Our previous w...