210 search results - page 5 / 42 » A Unified Theory of Irony and Its Computational Formalizatio... |
DAC
2005
ACM
14 years 8 months ago
2005
ACM
This paper presents a unifying framework for the modeling of asynchronous pipeline circuits. A pipeline protocol is captured in a graph-based model which defines the partial order...
CMSB
2006
Springer
13 years 11 months ago
2006
Springer
We present a game-theoretic foundation for gene regulatory analysis based on the recent formalism of rewriting game theory. Rewriting game theory is discrete and comes with a graph...
ALS
2003
Springer
14 years 19 days ago
2003
Springer
This paper takes an overtly anticipatory stance to the understanding of animat learning and behavior. It analyses four major animal learning theories and attempts to identify the a...
JCST
2010
13 years 2 months ago
2010
Probabilistic techniques are widely used in the analysis of algorithms to estimate the computational complexity of algorithms or a computational problem. Traditionally, such analys...
ECCV
2004
Springer
2004
Springer
Unifying Approaches and Removing Unrealistic Assumptions in Shape from Shading: Mathematics Can Help
14 years 9 months ago
This article proposes a solution of the Lambertian Shape From Shading (SFS) problem by designing a new mathematical framework based on the notion of viscosity solutions. The power ...