7554 search results - page 831 / 1511 » Process Diagnostics: A Method Based on Process Mining |
190
click to vote
ADBIS
2006
Springer
16 years 1 months ago
2006
Springer
In order to search similar moving object trajectories, the previously used methods focused on Euclidean distance and considered only spatial similarity. Euclidean distance is not a...
225
click to vote
GIR
2006
ACM
16 years 1 months ago
2006
ACM
Retrieving data based not only on key words is a challenge. We worked on semi-structured data (cultural heritage corpora). Our project aimed at getting the most relevant text-unit...
202
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
This paper illustrates a technique for specifying the detailed timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines w...
177
click to vote
RE
2006
Springer
15 years 7 months ago
2006
Springer
The challenges to requirements from linguistic factors are well-known. This work concerns an approach to communicating requirements with greater fidelity among stakeholders throug...
230
Voted
NFM
2011
15 years 2 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...