Sciweavers

838 search results - page 37 / 168
» Propagation Redundancy in Redundant Modelling
Sort
View
KBSE
2009
IEEE
16 years 1 days ago
Cache-Based Model Checking of Networked Applications: From Linear to Branching Time
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
Cyrille Artho, Watcharin Leungwattanakit, Masami H...
PRDC
2008
IEEE
15 years 11 months ago
On Modeling the Lifetime Reliability of Homogeneous Manycore Systems
Advancements in technology enable integration of a large number of cores on a single silicon die. At the same time, aggressive technology scaling has an ever-increasing adverse im...
Lin Huang, Qiang Xu
137
Voted
IJCNN
2007
IEEE
15 years 11 months ago
Encoding Complete Body Models Enables Task Dependent Optimal Behavior
— Many neural network models of (human) motor learning focus on the acquisition of direct goal-to-action mappings, which results in rather inflexible motor control programs. We ...
Oliver Herbort, Martin V. Butz
151
Voted
ICASSP
2010
IEEE
15 years 3 months ago
A hierarchical Bayesian model for frame representation
In many signal processing problems, it may be fruitful to represent the signal under study in a redundant linear decomposition called a frame. If a probabilistic approach is adopt...
Lotfi Chaâri, Jean-Christophe Pesquet, Jean-...
RECOMB
2009
Springer
16 years 5 months ago
Evaluating Between-Pathway Models with Expression Data
Abstract. Between-Pathway Models (BPMs) are network motifs consisting of pairs of putative redundant pathways. In this paper, we show how adding another source of high-throughput d...
Benjamin J. Hescott, Mark D. M. Leiserson, Lenore ...