13489 search results - page 190 / 2698 » Operating System |
157
click to vote
MVA
2007
15 years 7 months ago
2007
Iris image quality assessment is an important part of iris recognition system because the qualities of iris images would largely influence the recognition results. In this paper, ...
178
click to vote
ENTCS
2008
15 years 6 months ago
2008
We show how to reason, in the proof assistant Coq, about realistic programming languages using a combination of separation logic and heterogeneous multimodal logic. A heterogeneou...
139
click to vote
WSC
2004
15 years 7 months ago
2004
This paper describes a simulation system that monitors operations on a production floor, periodically creating a model of those operations, and running a simulation that predicts ...
156
click to vote
ASIAN
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The concept of unreliable failure detectors for reliable distributed systems was introduced by Chandra and Toueg as a fine-grained means to add weak forms of synchrony i...
267
click to vote
ICDE
2001
IEEE
16 years 7 months ago
2001
IEEE
We propose to extend database systems by a Skyline operation. This operation filters out a set of interesting points from a potentially large set of data points. A point is intere...