Sciweavers

21490 search results - page 3901 / 4298
» Business Process Modeling
Sort
View
IWANN
1997
Springer
15 years 9 months ago
Gray-Level Object Segmentation with a Network of FitzHugh-Nagumo Oscillators
Abstract. In this paper we adopt a temporal coding approach to neuronal modeling of the visual cortex, using oscillations. We propose a hierarchy of three processing modules corres...
Abderrahim Labbi, Ruggero Milanese, Holger Bosch
SIGMOD
1996
ACM
116views Database» more  SIGMOD 1996»
15 years 9 months ago
Optimizing Queries over Multimedia Repositories
Repositories of multimedia objects having multiple types of attributes e.g., image, text are becoming increasingly common. A selection on these attributes will typically produce n...
Surajit Chaudhuri, Luis Gravano
PVM
1997
Springer
15 years 9 months ago
Performance of CAP-Specified Linear Algebra Algorithms
The traditional approach to the parallelization of linear algebra algorithms such as matrix multiplication and LU factorization calls for static allocation of matrix blocks to proc...
Marc Mazzariol, Benoit A. Gennart, Vincent Messerl...
ISCA
1993
IEEE
115views Hardware» more  ISCA 1993»
15 years 9 months ago
Parity Logging Overcoming the Small Write Problem in Redundant Disk Arrays
Parity encoded redundant disk arrays provide highly reliable, cost effective secondary storage with high performance for read accesses and large write accesses. Their performance ...
Daniel Stodolsky, Garth A. Gibson, Mark Holland
LICS
1993
IEEE
15 years 9 months ago
Verifying Programs with Unreliable Channels
We consider the veri cation of a particular class of in nite-state systems, namely systems consisting of nite-state processes that communicate via unbounded lossy FIFO channels. T...
Parosh Aziz Abdulla, Bengt Jonsson
« Prev « First page 3901 / 4298 Last » Next »