13489 search results - page 613 / 2698 » Operating System |
187
click to vote
DANTE
1999
IEEE
15 years 11 months ago
1999
IEEE
Many current multimedia database management systems perform content-based retrieval of images by extracting the values of various features from every object stored in their system...
182
click to vote
ARITH
2003
IEEE
16 years 11 days ago
2003
IEEE
This work uses a partially redundant number system as an internal format for floating point arithmetic operations. The redundant number system enables carry free arithmetic opera...
236
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
221
click to vote
IFM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
175
click to vote
VLDB
2005
ACM
16 years 17 days ago
2005
ACM
Modern computer work stations provide thousands of applications that store data in >100.000 files on the file system of the underlying OS. To handle these files data process...