2786 search results - page 68 / 558 » A Practical Technique for Process Abstraction |
TITB
2002
15 years 1 months ago
2002
Abstract--In this paper, we present the development of a remote server that provides a user-friendly access to advanced electrocardiographic (ECG) signal processing techniques. The...
112
click to vote
SIGMOD
1998
ACM
15 years 5 months ago
1998
ACM
In this paper, we propose the Pyramid-Technique, a new indexing method for high-dimensional data spaces. The PyramidTechnique is highly adapted to range query processing using the...
123
Voted
RTSS
2003
IEEE
15 years 6 months ago
2003
IEEE
Often, data used in on-line decision making (for example, in determining how to react to changes in process behavior, traffic flow control, etc.) is dynamic in nature and hence ...
143
click to vote
SOCO
2010
Springer
14 years 8 months ago
2010
Springer
Until recently, local governments in Spain were using machines with rolling cylinders for verifying taximeters. However, the condition of the tires can lead to errors in the proces...
126
click to vote
CAV
1998
Springer
15 years 5 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...