4429 search results - page 52 / 886 » An Algorithm for Knowledge Base Extraction |
TYPES
2004
Springer
15 years 3 months ago
2004
Springer
We present a formalization of a constructive proof of weak normalization for the simply-typed λ-calculus in the theorem prover Isabelle/HOL, and show how a program can be extracte...
ICCAD
2005
IEEE
15 years 6 months ago
2005
IEEE
— In this paper we are concerned with developing more reliable model reduction algorithms. We have focused on less common, but real, examples that fail to be effectively reduced ...
89
Voted
TWC
2008
14 years 9 months ago
2008
Abstract--Positioning in indoor wireless environments is growing rapidly in importance and gains commercial interests in context-awareness applications. The essential challenge in ...
APBC
2004
14 years 11 months ago
2004
Here we investigate an extension of a previously suggested "automatic amide I frequency selection procedure" where we introduce an additional criterion utilizing empiric...
KES
2006
Springer
14 years 9 months ago
2006
Springer
The issue of Automatic Relevance Determination (ARD) has attracted attention over the last decade for the sake of efficiency and accuracy of classifiers, and also to extract knowle...