Sciweavers

1522 search results - page 107 / 305
» On the Complexity of Several Haplotyping Problems
Sort
View
LFCS
2007
Springer
14 years 3 months ago
Model Checking Knowledge and Linear Time: PSPACE Cases
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
Kai Engelhardt, Peter Gammie, Ron van der Meyden
ADC
2005
Springer
106views Database» more  ADC 2005»
14 years 2 months ago
OS Support for a Commodity Database on PC clusters - Distributed Devices vs. Distributed File Systems
In this paper we attempt to parallelise a commodity database for OLAP on a cluster of commodity PCs by using a distributed high-performance storage subsystem. By parallelising the...
Felix Rauch, Thomas Stricker
VLDB
2005
ACM
129views Database» more  VLDB 2005»
14 years 2 months ago
Sketching Streams Through the Net: Distributed Approximate Query Tracking
Emerging large-scale monitoring applications require continuous tracking of complex dataanalysis queries over collections of physicallydistributed streams. Effective solutions hav...
Graham Cormode, Minos N. Garofalakis
GRID
2006
Springer
13 years 9 months ago
Monitoring and analysing a Grid Middleware Node
Distributed Grid applications are becoming more and more popular as the use of complex grid middlewares becomes extensive, and more facilities are offered by these complex pieces o...
Ramon Nou, Ferran Julià, David Carrera, Kev...
CORR
2010
Springer
144views Education» more  CORR 2010»
13 years 8 months ago
A Parallel Framework for Multilayer Perceptron for Human Face Recognition
Artificial neural networks have already shown their success in face recognition and similar complex pattern recognition tasks. However, a major disadvantage of the technique is th...
Mrinal Kanti Bhowmik, Debotosh Bhattacharjee, Mita...