2024 search results - page 155 / 405 » A Formal Model of Multi-agent Computations |
123
click to vote
CAV
2004
Springer
15 years 9 months ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
158
click to vote
BMCBI
2004
15 years 4 months ago
2004
Background: Hidden Markov Models (HMMs) have proven very useful in computational biology for such applications as sequence pattern matching, gene-finding, and structure prediction...
142
click to vote
COORDINATION
2006
Springer
15 years 8 months ago
2006
Springer
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if usef...
145
click to vote
MVA
2007
15 years 3 months ago
2007
Abstract In this paper an approach for motion capture of dressed people is presented. A cloth draping method is incorporated in a silhouette based motion capture system. This leads...
147
click to vote
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...