Sciweavers

2670 search results - page 135 / 534
» Modeling systems with internal state using evolino
Sort
View
JLP
2010
73views more  JLP 2010»
15 years 1 months ago
Composing model programs for analysis
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
Margus Veanes, Jonathan Jacky
NIPS
2001
15 years 7 months ago
Global Coordination of Local Linear Models
High dimensional data that lies on or near a low dimensional manifold can be described by a collection of local linear models. Such a description, however, does not provide a glob...
Sam T. Roweis, Lawrence K. Saul, Geoffrey E. Hinto...
TKDE
2010
150views more  TKDE 2010»
15 years 4 months ago
Prospective Infectious Disease Outbreak Detection Using Markov Switching Models
—Accurate and timely detection of infectious disease outbreaks provides valuable information which can enable public health officials to respond to major public health threats in...
Hsin-Min Lu, Daniel Zeng, Hsinchun Chen
AMDO
2000
Springer
15 years 10 months ago
Model Adaptation and Posture Estimation of Moving Articulated Object Using Monocular Camera
This paper presents a method of estimating both 3-D shapes and moving poses of an articulated object from a monocular image sequence. Instead of using direct depth data, prior loo...
Nobutaka Shimada, Yoshiaki Shirai, Yoshinori Kuno
FIW
2007
133views Communications» more  FIW 2007»
15 years 8 months ago
Conflict Detection in Call Control Using First-Order Logic Model Checking
Feature interaction detection methods, whether online or offline, depend on previous knowledge of conflicts between the actions executed by the features. This knowledge is usually ...
Ahmed F. Layouni, Luigi Logrippo, Kenneth J. Turne...