Sciweavers

4429 search results - page 506 / 886
» An Algorithm for Knowledge Base Extraction
Sort
View
ISQED
2002
IEEE
203views Hardware» more  ISQED 2002»
15 years 11 months ago
Automatic Test Program Generation from RT-Level Microprocessor Descriptions
The paper addresses the issue of microprocessor and microcontroller testing, and follows an approach based on the generation of a test program. The proposed method relies on two p...
Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda...
ECAI
1992
Springer
15 years 11 months ago
On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning
ABSTRACT. This paper investigates the problem of finding subclasses of nonmonotonic reasoning which can be implemented efficiently. The ability to "define" propositions u...
Ilkka Niemelä, Jussi Rintanen
AIPS
2010
15 years 7 months ago
Iterative Learning of Weighted Rule Sets for Greedy Search
Greedy search is commonly used in an attempt to generate solutions quickly at the expense of completeness and optimality. In this work, we consider learning sets of weighted actio...
Yuehua Xu, Alan Fern, Sung Wook Yoon
JMM2
2006
111views more  JMM2 2006»
15 years 6 months ago
A Microscopic Telepathology System for Multiresolution Computer-Aided Diagnostics
The aim of the presented system is simplification and speedup of the daily pathological examination routine. The system combines telepathology with computer-aided diagnostics algor...
Grigory Begelman, Michael Pechuk, Ehud Rivlin, Edm...
CG
2005
Springer
15 years 6 months ago
Geometric computing in computer graphics using conformal geometric algebra
Early in the development of Computer Graphics it was realized that projective geometry was well suited for the representation of transformations. Now, it seems that another change...
Dietmar Hildenbrand