1596 search results - page 246 / 320 » Quantum property testing |
90
Voted
AAAI
2004
14 years 11 months ago
2004
This paper examines the relative performance of additive and multiplicative clause weighting schemes for propositional satisfiability testing. Starting with one of the most recent...
81
Voted
FLAIRS
2006
14 years 11 months ago
2006
Standard MIDI files contain data that can be considered as a symbolic representation of music (a digital score), and most of them are structured as a number of tracks, one of them...
110
Voted
BIOSIG
2003
14 years 11 months ago
2003
: Speaker recognition in applications of our daily lives is not yet in widespread use. In order for biometric technology to make sense for real-world authentication applications an...
100
Voted
CAINE
2003
14 years 11 months ago
2003
Clustering is the process of subdividing an input data set into a desired number of subgroups so that members of the same subgroup are similar and members of different subgroups h...
78
Voted
IWEC
2004
14 years 11 months ago
2004
We describe a new approach to the behaviour of 3D environments that supports the definition of physical processes and interactive phenomena. The work takes as a starting point the ...