15754 search results - page 497 / 3151 » Programs are Knowledge Bases |
198
click to vote
ATVA
2010
Springer
15 years 7 months ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...
208
click to vote
CVPR
2008
IEEE
16 years 9 months ago
2008
IEEE
To learn a new visual category from few examples, prior knowledge from unlabeled data as well as previous related categories may be useful. We develop a new method for transfer le...
193
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Nowadays enterprises request information technologies that leverage structured and unstructured information for providing a single integrated view of business problems in...
224
click to vote
ISCI
2008
15 years 7 months ago
2008
This paper considers nonlinear modeling based on a limited amount of experimental data and a simulator built from prior knowledge. The problem of how to best incorporate the data ...
359
click to vote
Book
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...