11022 search results - page 332 / 2205 » Programming Systems for Autonomy |
198
click to vote
ICTAI
2007
IEEE
16 years 1 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...
181
click to vote
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
One-class classification naturally only provides one class of exemplars on which to construct the classification model. In this work, multiobjective genetic programming (GP) all...
207
click to vote
TLCA
2007
Springer
16 years 27 days ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
179
click to vote
IISWC
2006
IEEE
16 years 24 days ago
2006
IEEE
The load instructions of some of the bioinformatics applications in the BioPerf suite possess interesting characteristics: only a few static loads cover almost the entire dynamic ...
168
click to vote
SIGOPSE
2004
ACM
16 years 6 days ago
2004
ACM
This paper presents market-based macroprogramming (MBM), a new paradigm for achieving globally efficient behavior in sensor networks. Rather than programming the individual, low-...