41 search results - page 6 / 9 » Deriving Concepts and Strategies from Chess Tablebases |
99
Voted
SCS
2004
14 years 11 months ago
2004
Commercial-Off-The-Shelf (COTS) software components are being used within complex safety-critical applications. However, to use them with confidence, it is necessary to ensure tha...
CIA
2004
Springer
15 years 3 months ago
2004
Springer
The concept of sequential two-sided search is widely used in partnerships formation applications in various domains. However, when considering the implementation of the method in M...
79
Voted
AMR
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Different strategies to learn user semantic queries from dissimilarity representations of video audio-visual content are presented. When dealing with large corpora of vi...
80
Voted
BMCBI
2005
14 years 10 months ago
2005
Background: Alignments of homologous DNA sequences are crucial for comparative genomics and phylogenetic analysis. However, multiple alignment represents a computationally difficu...
DAC
2005
ACM
15 years 11 months ago
2005
ACM
We present an efficient search strategy for satisfiability checking on circuits represented at the register-transfer-level (RTL). We use the RTL circuit structure by extending con...