2775 search results - page 225 / 555 » Visualizing abstract events |
189
click to vote
IHIS
2005
ACM
16 years 4 days ago
2005
ACM
The goal of this work is to contribute to the field of interoperability of Workflow models. To achieve this interoperability, we have built a generic architecture that s three lev...
191
click to vote
WABI
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Traditional sequence comparison by alignment applies a mutation model comprising two events, substitutions and indels (insertions or deletions) of single positions (SI). ...
151
click to vote
TIME
1994
IEEE
15 years 10 months ago
1994
IEEE
We are concerned with temporalreasoning problems where there is uncertainty about the order in which events occur. The task of temporal reasoning is to derive an event sequence co...
140
click to vote
FMICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Symbolic state-space generators are notoriously hard to parallelise. However, the Saturation algorithm implemented in the SMART verification tool differs from other seque...
140
click to vote
CIIT
2004
15 years 8 months ago
2004
This paper outlines the design and evaluation of the Digital Classroom Application Framework (DeCAF). DeCAF is designed to provide an environment upon which multimedia application...