Sciweavers

1228 search results - page 123 / 246
» Continuations, proofs and tests
Sort
View
HYBRID
2004
Springer
14 years 1 months ago
Inference Methods for Autonomous Stochastic Linear Hybrid Systems
We present a parameter inference algorithm for autonomous stochastic linear hybrid systems, which computes a maximum-likelihood model, given only a set of continuous output data of...
Hamsa Balakrishnan, Inseok Hwang, Jung Soon Jang, ...
HAPTICS
2002
IEEE
14 years 1 months ago
Building a Task Language for Segmentation and Recognition of User Input to Cooperative Manipulation Systems
We present the results of using Hidden Markov Models (HMMs) for automatic segmentation and recognition of user motions. Previous work on recognition of user intent with man/machin...
C. Sean Hundtofte, Gregory D. Hager, Allison M. Ok...
WSC
2007
13 years 10 months ago
The simulation power of automod
Decision making in industry continues to become more complicated. Customers are more demanding, competition is more fierce, and costs for labor and raw materials continue to rise....
Todd LeBaron, Craig Jacobsen
IMECS
2007
13 years 9 months ago
A Model to Describe the Relationships Man - Machine - Maintenance - Economy (MMME)
— In the globalisation spirit, one of the major objectives of companies is how to reduce the production losses cost-effectively for continuously enhancement of competitiveness an...
Basim Al-Najjar, Daniel Andersson, Martin Jacobsso...
ISSA
2004
13 years 9 months ago
Run-Time Protocol Conformance Verification In Firewalls
Today, business continuity depends significantly on the continuous availability of information systems. It is well-known that such systems must be protected against intrusion and ...
Ulrich Ultes-Nitsche