7167 search results - page 1032 / 1434 » Answer Set Programming |
142
click to vote
ICCS
2005
Springer
16 years 11 days ago
2005
Springer
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...
154
click to vote
IDA
2005
Springer
16 years 11 days ago
2005
Springer
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 ...
157
click to vote
IFIP
2005
Springer
16 years 11 days ago
2005
Springer
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...
162
click to vote
ISMIR
2005
Springer
16 years 10 days ago
2005
Springer
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...
158
click to vote
LPAR
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Earlier we introduced Constraint Lambda Calculi which integrate constraint solving with functional programming for the simple case where the constraint solver produces no...