Sciweavers

3335 search results - page 215 / 667
» Grid result checking
Sort
View
131
Voted
AAAI
1997
15 years 5 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 5 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 4 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 4 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
143
Voted
CVPR
2009
IEEE
1002views Computer Vision» more  CVPR 2009»
16 years 11 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...