Sciweavers

5499 search results - page 156 / 1100
» Generalized Rewrite Theories
Sort
View
NECO
2007
108views more  NECO 2007»
15 years 6 months ago
Spike-Frequency Adapting Neural Ensembles: Beyond Mean Adaptation and Renewal Theories
We propose a Markov process model for spike-frequency adapting neural ensembles which synthesizes existing mean-adaptation approaches, population density methods, and inhomogeneou...
Eilif Mueller, Lars Buesing, Johannes Schemmel, Ka...
217
Voted
CVPR
2007
IEEE
16 years 9 months ago
Topology Preserving Log-Unbiased Nonlinear Image Registration: Theory and Implementation
In this paper, we present a novel framework for constructing large deformation log-unbiased image registration models that generate theoretically and intuitively correct deformati...
Igor Yanovsky, Paul M. Thompson, Stanley Osher, Al...
ICS
2010
Tsinghua U.
16 years 4 months ago
Game Theory with Costly Computation: Formulation and Application to Protocol Security
: We develop a general game-theoretic framework for reasoning about strategic agents performing possibly costly computation. In this framework, many traditional game-theoretic resu...
Joseph Y. Halpern, Rafael Pass
194
Voted
ISBI
2008
IEEE
16 years 1 months ago
Multimodal medical case retrieval using Bayesian networks and the Dezert-Smarandache theory
In this paper, we present a Case Based Reasoning (CBR) system for the retrieval of medical cases made up of a series of images with semantic information (such as the patient age, ...
Gwénolé Quellec, Mathieu Lamard, Lyn...
JELIA
2004
Springer
16 years 11 days ago
Combining Decision Procedures for Sorted Theories
The Nelson-Oppen combination method combines decision procedures for theories satisfying certain conditions into a decision procedure for their union. While the method is known to ...
Cesare Tinelli, Calogero G. Zarba