Sciweavers

3199 search results - page 184 / 640
» Variability in Automation System Models
Sort
View
AAAI
1998
15 years 7 months ago
Multimodal Reasoning for Automatic Model Construction
This paper describes a program called Pret that automates system identification, the process of finding a dynamical model of a black-box system. Pret performs both structural iden...
Reinhard Stolle, Elizabeth Bradley
CSL
2002
Springer
15 years 6 months ago
Transformation streams and the HMM error model
The most popular model used in automatic speech recognition is the hidden Markov model (HMM). Though good performance has been obtained with such models there are well known limit...
M. J. F. Gales
ICPR
2008
IEEE
16 years 7 months ago
Hand modeling and tracking from voxel data: An integrated framework with automatic initialization
We propose an integrated framework for automated hand model initialization and tracking using voxel data. Starting with an initial specific hand pose, the Laplacian Eigenspace (LE...
Cuong Tran, Mohan M. Trivedi
TPHOL
1999
IEEE
15 years 10 months ago
Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
Mark Aagaard, Robert B. Jones, Carl-Johan H. Seger
GIS
2008
ACM
15 years 7 months ago
Towards a scalable model for location privacy
With the growth of wireless and mobile technologies, we are witnessing an increase in location-based services (LBS). Although LBS provide enhanced functionalities, they open up ne...
Nayot Poolsappasit, Indrakshi Ray