Sciweavers

19130 search results - page 357 / 3826
» Modelling multi-path problems
Sort
View
MSV
2004
15 years 8 months ago
Accurate Modeling and Simulation of Heart Tissue with GDEVS/Cell-DEVS
- We present a model describing the electrical behavior of the heart tissue. Previous research in this field have studied this problem using PDEs (Partial Differential Equations) a...
Gabriel A. Wainer, Norbert Giambiasi
MVA
2000
159views Computer Vision» more  MVA 2000»
15 years 8 months ago
Yet Another Appearance-Based Method for Pose Estimation Based on a linear Model
This paper explores the possibility of a linear model as a solution to the problem of appearance-based pose estimation. The parametric eigenspace method (or its extensions that ar...
Takayuki Okatani, Koichiro Deguchi
ICECCS
2010
IEEE
161views Hardware» more  ICECCS 2010»
15 years 7 months ago
Model Checking Round-Based Distributed Algorithms
—In the field of distributed computing, there are many round-based algorithms to solve fundamental problems, such as leader election and distributed consensus. Due to the nature...
Xin An, Jun Pang
AAI
2004
114views more  AAI 2004»
15 years 6 months ago
Model Checking A Knowledge Exchange Scenario
We are interested in applying model checking techniques to the verification of communication protocols which require safe communication. Typically, in such scenarios, one desires ...
Sieuwert van Otterloo, Wiebe Der, Michael Wooldrid...
AUTOMATICA
2004
77views more  AUTOMATICA 2004»
15 years 6 months ago
Non-asymptotic quality assessment of generalised FIR models with periodic inputs
In any real-life identification problem, only a finite number of data points is available. On the other hand, almost all results in stochastic identification pertain to asymptotic...
Marco C. Campi, Su Ki Ooi, Erik Weyer