Sciweavers

3318 search results - page 167 / 664
» The Weak Instance Model
Sort
View
ICMCS
2000
IEEE
138views Multimedia» more  ICMCS 2000»
14 years 19 days ago
Event-Coupled Hidden Markov Models
Inferences from time-series data can be greatly enhanced by taking into account multiple modalities. In some cases, such as audio of speech and the corresponding video of lip gest...
Trausti T. Kristjansson, Brendan J. Frey, Thomas S...
CPHYSICS
2006
132views more  CPHYSICS 2006»
13 years 8 months ago
A 3D model for ion beam formation and transport simulation
In this paper, we present a three-dimensional model for self consistently modeling ion beam formation from plasma ion sources and transporting in low energy beam transport systems...
J. Qiang, D. Todd, D. Leitner
TROB
2008
124views more  TROB 2008»
13 years 8 months ago
A Dynamic-Model-Based Wheel Slip Detector for Mobile Robots on Outdoor Terrain
Abstract--This paper introduces a model-based approach to estimating longitudinal wheel slip and detecting immobilized conditions of autonomous mobile robots operating on outdoor t...
Chris C. Ward, Karl Iagnemma
TSE
1998
131views more  TSE 1998»
13 years 7 months ago
Experiences Using Lightweight Formal Methods for Requirements Modeling
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
Steve M. Easterbrook, Robyn R. Lutz, Richard Covin...
IS
2011
13 years 3 months ago
Checking determinism of XML Schema content models in optimal time
We consider the determinism checking of XML Schema content models, as required by the W3C Recommendation. We argue that currently applied solutions have flaws and make processors...
Pekka Kilpeläinen