Sciweavers

2263 search results - page 184 / 453
» The Use of Functional and Logic Languages in Machine Learnin...
Sort
View
ECML
2006
Springer
15 years 10 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 12 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 8 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