499 search results - page 12 / 100 » Constructive Induction by Analogy |
155
click to vote
TLCA
2009
Springer
16 years 17 days ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...
171
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
Abstract— The sparsification of the reluctance matrix L−1 (where L denotes the usual inductance matrix L) has been widely used in several recent investigations to make the pro...
166
click to vote
HICSS
2005
IEEE
15 years 11 months ago
2005
IEEE
Informal conversations occur all day long among employees. These conversations allow employees to share experience such as innovative ideas for performing a task. Internalizing th...
139
click to vote
KCAP
2003
ACM
15 years 11 months ago
2003
ACM
One of the long-term goals of Artificial Intelligence is construction of a machine that is capable of reasoning about the everyday world the way humans are. In this paper, I fir...
129
click to vote
ISVLSI
2006
IEEE
16 years 1 days ago
2006
IEEE
In this paper, the design techniques and considerations for each building block required for analog signal processing in HD-DVD PRML read channel are presented and the procedures ...