3363 search results - page 135 / 673 » A Framework for Knowledge Reuse |
142
click to vote
FMOODS
2007
15 years 5 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
189
Voted
ENTCS
2008
15 years 4 months ago
2008
Transformation systems such as Stratego/XT provide powerful analysis and transformation frameworks and concise languages for language processing, but instantiating them for every ...
178
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
General-purpose computing on graphics processing units (GPGPU) has recently gained considerable attention in various domains such as bioinformatics, databases and distributed comp...
135
click to vote
ICTAI
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper we developed an Inductive Logic Programming (ILP) based framework ExOpaque that is able to extract a set of Horn clauses from an arbitrary opaque machine learning mo...
138
click to vote
COMSWARE
2006
IEEE
15 years 10 months ago
2006
IEEE
— In this paper, we propose a framework for fault repair in mobile sensor networks. A hierarchical structure which consists of replacement module, management policy module, knowl...