620 search results - page 79 / 124 » About the logical relations between cases and rules |
103
click to vote
AI
2007
Springer
15 years 1 days ago
2007
Springer
Although reasoning about what is the case has been the historic focus of logic, reasoning about what should be done is an equally important capacity for an intelligent agent. Reas...
105
click to vote
DAC
2007
ACM
16 years 27 days ago
2007
ACM
Despite the impressive progress of logic synthesis in the past decade, finding the best architecture for a given circuit still remains an open problem and largely unsolved. In mos...
ICSM
2005
IEEE
15 years 5 months ago
2005
IEEE
In order to support the maintenance of object-oriented software systems, the quality of their design must be evaluated using adequate quantification means. In spite of the curren...
ENTCS
2010
14 years 9 months ago
2010
Our goal is to provide a top-down approach to biomolecular computation. In spite of widespread discussion about connections between biology and computation, one question seems not...
CVPR
2000
IEEE
15 years 4 months ago
2000
IEEE
We present a novel approach for learning patterns (sub-images) shared by multiple images without prior knowledge about the number and the positions of the patterns in the images. ...