7991 search results - page 617 / 1599 » Using More Reasoning to Improve |
172
click to vote
BC
2006
15 years 7 months ago
2006
The part of the primate visual cortex responsible for the recognition of objects is parcelled into about a dozen areas organized somewhat hierarchically (the region is called the v...
174
click to vote
IEICET
2008
15 years 7 months ago
2008
Cryptographic hash functions have been widely studied and are used in many current systems. Though much research has been done on the security of hash functions, system designers ...
184
click to vote
JSAT
2006
15 years 7 months ago
2006
This paper reports about the 2005 comparative evaluation of solvers for quantified Boolean formulas (QBFs), the third in a series of non-competitive events established with the ai...
181
click to vote
KAIS
2006
15 years 7 months ago
2006
Semi-structured information in XML can be merged in a logic-based framework [Hun02, Hun02b]. This framework has been extended to deal with uncertainty, in the form of probability ...
169
click to vote
KES
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Zebra dove's voice competition has become more popular in Thailand and many other South East Asian countries. Even though there are specific judging rules to follow,...