7991 search results - page 351 / 1599 » Using More Reasoning to Improve |
167
click to vote
EVOW
2010
Springer
16 years 1 months ago
2010
Springer
A Shinro puzzle is a type of deductive reasoning puzzle that originated in Japanese periodicals. To solve the puzzle, one must locate twelve hidden stones on an 8x8 grid using only...
165
click to vote
GFKL
2005
Springer
16 years 9 days ago
2005
Springer
We describe how a feature-based semantic lexicon can be automatically extended using large, unstructured text corpora. Experiments are carried out using the lexicon HaGenLex and th...
168
click to vote
ILP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We study predicate selection functions (also known as splitting rules) for structural decision trees and propose two improvements to existing schemes. The first is in cl...
199
click to vote
ASYNC
2004
IEEE
15 years 10 months ago
2004
IEEE
One of the main reasons for using asynchronous design is that it offers the opportunity to exploit the datadependent latency of many operations in order to achieve low-power, high...
162
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
The quality of formal specifications and the circuits they are written for can be evaluated through checks such as vacuity and coverage. Both checks involve mutations to the specif...