184 search results - page 27 / 37 » Reconciling Systems and Deductive Capabilities in Knowledge ... |
ICML
2009
IEEE
14 years 8 months ago
2009
IEEE
Standard inductive learning requires that training and test instances come from the same distribution. Transfer learning seeks to remove this restriction. In shallow transfer, tes...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...
IJACTAICIT
2010
13 years 4 months ago
2010
Human superiority over computers in identifying natural objects like clouds, water, grass etc. comes from two capabilities: the capability to maintain a growing knowledge base per...
PLDI
2009
ACM
14 years 4 days ago
2009
ACM
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...
BIOINFORMATICS
2005
13 years 7 months ago
2005
BioLingua is an interactive, web-based programming environment that enables biologists to analyze biological systems by combining knowledge and data through direct end-user progra...