Sciweavers

1162 search results - page 136 / 233
» An Information-Based Theory of Conditionals
Sort
View
BC
1998
76views more  BC 1998»
15 years 6 months ago
An equivalent cable model for neuronal trees with active membrane
A non-uniform equivalent cable model of membrane voltage changes in branching neuronal trees with active ion channels has been developed. A general branching condition is formulate...
Michael Ohme, Andreas Schierwagen
IJCV
1998
96views more  IJCV 1998»
15 years 6 months ago
The Intrinsic Structure of Optic Flow Incorporating Measurement Duality
The purpose of this article is to define optic flow for scalar and density images without using a priori knowledge other than its defining conservation principle, and to incorpo...
Luc Florack, Wiro J. Niessen, Mads Nielsen
WINET
2002
124views more  WINET 2002»
15 years 5 months ago
CDMA Uplink Power Control as a Noncooperative Game
We present a game-theoretic treatment of distributed power control in CDMA wireless systems. We make use of the conceptual framework of noncooperative game theory to obtain a distr...
Tansu Alpcan, Tamer Basar, R. Srikant, Eitan Altma...
JGT
2010
103views more  JGT 2010»
15 years 4 months ago
Characterizing 3-connected planar graphs and graphic matroids
: A well-known result of Tutte states that a 3-connected graph G is planar if and only if every edge of G is contained in exactly two induced non-separating circuits. Bixby and Cun...
Manoel Lemos, Talmage James Reid, Haidong Wu
PTS
2010
175views Hardware» more  PTS 2010»
15 years 4 months ago
Test Data Generation for Programs with Quantified First-Order Logic Specifications
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
Christoph Gladisch