206 search results - page 31 / 42 » Probabilistic Analysis of Large Finite State Machines |
101
click to vote
WWW
2004
ACM
16 years 11 days ago
2004
ACM
This paper presents a set of tools and techniques for analyzing interactions of composite web services which are specified in BPEL and communicate through asynchronous XML message...
111
click to vote
JMS
2010
14 years 10 months ago
2010
This work studies the impact of using dynamic information as features in a machine learning algorithm for the prediction task of classifying critically ill patients in two classes ...
PODC
2004
ACM
15 years 5 months ago
2004
ACM
We propose a framework to translate certain subclasses of differential equation systems into distributed protocols that are practical. The synthesized protocols are state machine...
ISSRE
2002
IEEE
15 years 4 months ago
2002
IEEE
Formal analysis of software is a powerful analysis tool, but can be too costly. Random search of formal models can reduce that cost, but is theoretically incomplete. However, rand...
107
click to vote
ICMCS
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper presents a novel approach to automatically identify characters in films using audio visual cues and text analysis. The approach consists of three stages: (i) frontal f...