Sciweavers

967 search results - page 121 / 194
» Probabilistic Predicative Programming
Sort
View
ICDE
2007
IEEE
121views Database» more  ICDE 2007»
16 years 3 months ago
Bringing Precision to Desktop Search: A Predicate-based Desktop Search Architecture
Google and other products have revolutionized the way we search for information on the Internet, Intranet, and on our desktop. However, the current generation of search products d...
Jens-Peter Dittrich, Cristian Duda, Bjorn Jarisch,...
ESWS
2007
Springer
15 years 8 months ago
Minimal Deductive Systems for RDF
Abstract. This paper presents a minimalist program for RDF, by showing how one can do without several predicates and keywords of the RDF Schema vocabulary, obtaining a simpler lang...
Sergio Muñoz, Jorge Pérez, Claudio G...
126
Voted
IFM
2007
Springer
15 years 8 months ago
Unifying Theories of Objects
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...
Michael Anthony Smith, Jeremy Gibbons
128
Voted
PKDD
2007
Springer
146views Data Mining» more  PKDD 2007»
15 years 8 months ago
A Method for Multi-relational Classification Using Single and Multi-feature Aggregation Functions
This paper presents a novel method for multi-relational classification via an aggregation-based Inductive Logic Programming (ILP) approach. We extend the classical ILP representati...
Richard Frank, Flavia Moser, Martin Ester
123
Voted
COMPSAC
2003
IEEE
15 years 7 months ago
Tolerance of Control-Flow Testing Criteria
Effectiveness of testing criteria is the ability to detect failures in a software program. We consider not only effectiveness of some testing criterion in itself but a variance of...
Sergiy A. Vilkomir, Kalpesh Kapoor, Jonathan P. Bo...