Sciweavers

2131 search results - page 18 / 427
» A computational approximation to the AIXI model
Sort
View
ATAL
2007
Springer
16 years 3 days ago
Approximate state estimation in multiagent settings with continuous or large discrete state spaces
We present a new method for carrying out state estimation in multiagent settings that are characterized by continuous or large discrete state spaces. State estimation in multiagen...
Prashant Doshi
TVCG
2012
201views Hardware» more  TVCG 2012»
13 years 8 months ago
Exact and Approximate Area-Proportional Circular Venn and Euler Diagrams
— Scientists conducting microarray and other experiments use circular Venn and Euler diagrams to analyze and illustrate their results. As one solution to this problem, this artic...
Leland Wilkinson
CMSB
2009
Springer
16 years 15 days ago
Approximation of Event Probabilities in Noisy Cellular Processes
Molecular noise, which arises from the randomness of the discrete events in the cell, significantly influences fundamental biological processes. Discrete-state continuous-time st...
Frédéric Didier, Thomas A. Henzinger...
CAV
2005
Springer
122views Hardware» more  CAV 2005»
15 years 11 months ago
Interpolant-Based Transition Relation Approximation
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...
Ranjit Jhala, Kenneth L. McMillan
ITICSE
2004
ACM
15 years 11 months ago
Curve and surface interpolation and approximation: knowledge unit and software tool
This paper describes a knowledge unit and the use of a software tool, DesignMentor, for teaching a very challenging topic in computer graphics and visualization, namely: curve and...
John Fisher, John L. Lowther, Ching-Kuang Shene