Sciweavers

3335 search results - page 215 / 667
» Grid result checking
Sort
View
AAAI
1997
15 years 7 months ago
Detecting Unsatisfiable CSPs by Coloring the Micro-Structure
Constraint satisfaction research has focussed on consistency checking using k-consistency and its variations such as arc-consistency, and path-consistency. We define a new form of...
Daya Ram Gaur, W. Ken Jackson, William S. Havens
FTCS
1993
87views more  FTCS 1993»
15 years 7 months ago
Disk Array Storage System Reliability
Fault tolerance requirements for near term disk array storage systems are analyzed. The excellent reliability provided by RAID Level 5 data organization is seen to be insu cient f...
Walter A. Burkhard, Jai Menon
IJISEC
2008
101views more  IJISEC 2008»
15 years 6 months ago
SAT-based model-checking for security protocols analysis
We present a model checking technique for security protocols based on a reduction to propositional logic. At the core of our approach is a procedure that, given a description of th...
Alessandro Armando, Luca Compagna
BMCBI
2010
198views more  BMCBI 2010»
15 years 6 months ago
ClustalXeed: a GUI-based grid computation version for high performance and terabyte size multiple sequence alignment
Background: There is an increasing demand to assemble and align large-scale biological sequence data sets. The commonly used multiple sequence alignment programs are still limited...
Taeho Kim, Hyun Joo
CVPR
2009
IEEE
1002views Computer Vision» more  CVPR 2009»
17 years 1 months ago
Classifier Grids for Robust Adaptive Object Detection
In this paper we present an adaptive but robust object detector for static cameras by introducing classifier grids. Instead of using a sliding window for object detection we pro...
Peter M. Roth, Sabine Sternig, Helmut Grabner, Hor...