Sciweavers

2440 search results - page 169 / 488
» Explanation-Based Feature Construction
Sort
View
ISAAC
2005
Springer
112views Algorithms» more  ISAAC 2005»
15 years 10 months ago
Hybrid Voting Protocols and Hardness of Manipulation
This paper addresses the problem of constructing voting protocols that are hard to manipulate. We describe a general technique for obtaining a new protocol by combining two or more...
Edith Elkind, Helger Lipmaa
OOPSLA
2004
Springer
15 years 10 months ago
Generic ownership: practical ownership control in programming languages
earch abstract outlines the work I plan to do as part of my PhD. In particular, I propose to devise a practical way of integrating ownership control into existing programming lang...
Alex Potanin, James Noble, Robert Biddle
SETN
2004
Springer
15 years 10 months ago
Music Performer Verification Based on Learning Ensembles
In this paper the problem of music performer verification is introduced. Given a certain performance of a musical piece and a set of candidate pianists the task is to examine wheth...
Efstathios Stamatatos, Ergina Kavallieratou
123
Voted
AGP
2003
IEEE
15 years 10 months ago
Enhancing Disjunctive Logic Programming for Ontology Specification
This paper is a presentation of ONTO-DLP, an extension of Disjunctive Logic Programming (DLP) for complex knowledge modelling. ONTO-DLP enhances DLP by constructs coming from othe...
Francesco Calimeri, Stefania Galizia, Massimo Ruff...
PPPJ
2003
ACM
15 years 9 months ago
Transparent Java standard extensions with native libraries on multiple platforms
Java programs that utilize standard extensions with native libraries are problematic since the extensions are platform dependent. We present general methods that make such program...
Pierre Wijkman, Mitra Wijkman, Suru Dissanaike