533 search results - page 105 / 107 » Protocol synthesis from timed and structured specifications |
207
click to vote
SIGMOD
2006
ACM
16 years 1 months ago
2006
ACM
The reverse k-nearest neighbor (RkNN) problem, i.e. finding all objects in a data set the k-nearest neighbors of which include a specified query object, is a generalization of the...
121
click to vote
SIGMOD
2003
ACM
16 years 1 months ago
2003
ACM
There is growing interest in algorithms for processing and querying continuous data streams (i.e., data that is seen only once in a fixed order) with limited memory resources. In ...
123
click to vote
CBMS
2006
IEEE
15 years 7 months ago
2006
IEEE
With the advances in medical imaging devices, large volumes of high-resolution 3D medical image data have been produced. These high-resolution 3D data are very large in size, and ...
111
click to vote
MIE
2008
15 years 2 months ago
2008
In the United States and Europe, electronic health records (EHRs) allow information technology and decision-support to facilitate the activities of clinicians and are considered a...
134
click to vote
CISIS
2007
IEEE
15 years 1 months ago
2007
IEEE
Problem determination in today's computing environments consumes between 30 and 70% of an organization’s IT resources and represents from one third to one half of their tot...