Sciweavers

129 search results - page 25 / 26
» Benchmarking Reasoners for Multi-Ontology Applications
Sort
View
CORR
2007
Springer
95views Education» more  CORR 2007»
13 years 6 months ago
Slope One Predictors for Online Rating-Based Collaborative Filtering
Rating-based collaborative filtering is the process of predicting how a user would rate a given item from other user ratings. We propose three related slope one schemes with pred...
Daniel Lemire, Anna Maclachlan
CAV
2008
Springer
139views Hardware» more  CAV 2008»
13 years 8 months ago
CSIsat: Interpolation for LA+EUF
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
Dirk Beyer, Damien Zufferey, Rupak Majumdar
PEPM
1994
ACM
13 years 10 months ago
Partial Evaluation of Numerical Programs in Fortran
our results using the Fast Fourier Transformation, the N-body attraction problem, and the cubic splines interpolation as examples.We investigate the application of partial evaluati...
Romana Baier, Robert Glück, Robert Zöchl...
ATAL
1997
Springer
13 years 9 months ago
A Formal Specification of dMARS
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
Mark d'Inverno, David Kinny, Michael Luck, Michael...
DLOG
2003
13 years 7 months ago
Implementing Matching in ALE--First Results
Matching problems in Description Logics are theoretically well understood, with a variety of algorithms available for different DLs. Nevertheless, still no implementation of a ge...
Sebastian Brandt