1592 search results - page 129 / 319 » On the Equality of Probabilistic Terms |
175
click to vote
TYPES
2004
Springer
15 years 11 months ago
2004
Springer
We present four constructions for standard equipment which can be generated for every inductive datatype: case analysis, structural recursion, no confusion, acyclicity. Our constru...
150
click to vote
UCS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper proposes an extended framework for service provision for ubiquitous spaces based on Kerberos. The framework allows groups of services and information about ord...
133
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
This article describes a new segmentation by thresholding approach based on learning. The method consists in learning to threshold correctly submitting both an image and its ideal...
163
click to vote
TPHOL
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
144
click to vote
IBPRIA
2003
Springer
15 years 11 months ago
2003
Springer
In this paper the capability of using self-organising neural maps (SOM) as music style classifiers of musical fragments is studied. From MIDI files, the monophonic melody track i...