4242 search results - page 121 / 849 » An Event Spacing Experiment |
COLING
2010
13 years 6 months ago
2010
Unlike static documents, version controlled documents are continuously edited by one or more authors. Such collaborative revision process makes traditional modeling and visualizat...
DBISP2P
2005
Springer
14 years 4 months ago
2005
Springer
In this paper we present a scalable and distributed access structure for similarity search in metric spaces. The approach is based on the Content– addressable Network (CAN) parad...
APN
2009
Springer
14 years 5 months ago
2009
Springer
The ASCoVeCo State space Analysis Platform (ASAP) is a tool for performing explicit state space analysis of coloured Petri nets (CPNs) and other formalisms. ASAP supports a wide ra...
APN
1999
Springer
14 years 3 months ago
1999
Springer
Discrete event dynamic systems may have extremely large state spaces. For their analysis, it is usual to relax the description by removing the integrality constraints. Applying thi...
CAV
1998
Springer
14 years 3 months ago
1998
Springer
This paper presents a new algorithm for efficiently verifying timed systems. The new algorithm represents timing information using geometric regions and explores the timed state sp...