Sciweavers

7167 search results - page 1032 / 1434
» Answer Set Programming
Sort
View
98
Voted
ICCS
2005
Springer
15 years 9 months ago
Phasing and Missing Data Recovery in Family Trios
Although there exist many phasing methods for unrelated adults or pedigrees, phasing and missing data recovery for data representing family trios is lagging behind. This paper is a...
Dumitru Brinza, Jingwu He, Weidong Mao, Alexander ...
103
Voted
IDA
2005
Springer
15 years 9 months ago
A Knowledge-Based Model for Analyzing GSM Network Performance
Abstract. In this paper, a method to analyze GSM network performance on the basis of massive data records and application domain knowledge is presented. The available measurements ...
Pasi Lehtimäki, Kimmo Raivio
113
Voted
IFIP
2005
Springer
15 years 9 months ago
Voting Technologies and Trust
In this paper, as a step towards the ultimate aim of developing an evoting system that would be likely to gain and retain the trust of the general voting public, we describe a des...
Brian Randell, Peter Y. A. Ryan
118
Voted
ISMIR
2005
Springer
124views Music» more  ISMIR 2005»
15 years 9 months ago
Symbolic Representation of Musical Chords: A Proposed Syntax for Text Annotations
In this paper we propose a text represention for musical chord symbols that is simple and intuitive for musically trained individuals to write and understand, yet highly structure...
Christopher Harte, Mark B. Sandler, Samer A. Abdal...
109
Voted
LPAR
2005
Springer
15 years 9 months ago
Disjunctive Constraint Lambda Calculi
Abstract. Earlier we introduced Constraint Lambda Calculi which integrate constraint solving with functional programming for the simple case where the constraint solver produces no...
Matthias M. Hölzl, John N. Crossley
« Prev « First page 1032 / 1434 Last » Next »