Sciweavers

4867 search results - page 418 / 974
» Fluid Models in Performance Analysis
Sort
View
207
Voted
CAV
1997
Springer
202views Hardware» more  CAV 1997»
15 years 11 months ago
HYTECH: A Model Checker for Hybrid Systems
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
183
Voted
SIGIR
2010
ACM
15 years 10 months ago
A two-stage model for blog feed search
We consider blog feed search: identifying relevant blogs for a given topic. An individual’s search behavior often involves a combination of exploratory behavior triggered by sal...
Wouter Weerkamp, Krisztian Balog, Maarten de Rijke
186
Voted
ACSC
2004
IEEE
15 years 10 months ago
Learning Models for English Speech Recognition
This paper reports on an experiment to determine the optimal parameters for a speech recogniser that is part of a computer aided instruction system for assisting learners of Engli...
Huayang Xie, Peter Andreae, Mengjie Zhang, Paul Wa...
184
Voted
JCP
2008
127views more  JCP 2008»
15 years 6 months ago
Model-Free Uncalibrated Visual Servoing Using Recursive Least Squares
In this paper, a model free uncalibrated visual servoing algorithm based on recursive least squares is proposed and discussed in depth. No robot kinetics or dynamics, camera calibr...
Miao Hao, Peter Deuflhard, Zengqi Sun, Masakazu Fu...
SIAMSC
2011
126views more  SIAMSC 2011»
15 years 1 months ago
Fast Structured AMG Preconditioning for the Bidomain Model in Electrocardiology
The electrical activity of the heart may be modeled by a non-linear system of partial differential equations known as the bidomain model. Due to the rapid variations in the electr...
Micol Pennacchio, Valeria Simoncini