Sciweavers

2263 search results - page 184 / 453
» The Use of Functional and Logic Languages in Machine Learnin...
Sort
View
ECML
2006
Springer
15 years 9 months ago
Efficient Convolution Kernels for Dependency and Constituent Syntactic Trees
In this paper, we provide a study on the use of tree kernels to encode syntactic parsing information in natural language learning. In particular, we propose a new convolution kerne...
Alessandro Moschitti
CCS
2010
ACM
15 years 6 months ago
Modeling attacks on physical unclonable functions
We show in this paper how several proposed Physical Unclonable Functions (PUFs) can be broken by numerical modeling attacks. Given a set of challenge-response pairs (CRPs) of a PU...
Ulrich Rührmair, Frank Sehnke, Jan Sölte...
POPL
2008
ACM
16 years 6 months ago
Cyclic proofs of program termination in separation logic
We propose a novel approach to proving the termination of heapmanipulating programs, which combines separation logic with cyclic proof within a Hoare-style proof system. Judgement...
James Brotherston, Richard Bornat, Cristiano Calca...
FUZZY
2004
Springer
125views Fuzzy Logic» more  FUZZY 2004»
15 years 11 months ago
A Feedforward Neural Network based on Multi-Valued Neurons
A feedforward neural network based on multi-valued neurons is considered in the paper. It is shown that using a traditional feedforward architecture and a high functionality multi-...
Igor N. Aizenberg, Claudio Moraga, Dmitriy Paliy
DEXA
2008
Springer
123views Database» more  DEXA 2008»
15 years 7 months ago
Evolutionary Clustering in Description Logics: Controlling Concept Formation and Drift in Ontologies
Abstract. We present a method based on clustering techniques to detect concept drift or novelty in a knowledge base expressed in Description Logics. The method exploits an effectiv...
Nicola Fanizzi, Claudia d'Amato, Floriana Esposito