819 search results - page 98 / 164 » Using Assumptions to Distribute CTL Model Checking |
127
Voted
ICA
2004
Springer
15 years 10 months ago
2004
Springer
We propose a new generative model for polyphonic music based on nonlinear Independent Subspace Analysis (ISA) and factorial Hidden Markov Models (HMM). ISA represents chord spectra...
146
click to vote
IJCAI
2007
15 years 6 months ago
2007
Distance measures like the Euclidean distance have been the most widely used to measure similarities between feature vectors in the content-based image retrieval (CBIR) systems. H...
141
click to vote
TOOLS
1999
IEEE
15 years 9 months ago
1999
IEEE
The development of large software systems demands intensive cooperation among multiple project team members with different responsibilities. The development process is often distr...
169
click to vote
AVBPA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper is framed in the field of statistical face analysis. In particular, the problem of accurate segmentation of prominent features of the face in frontal view ima...
144
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
We present a language for specifying web service interfaces. A web service interface puts three kinds of constraints on the users of the service. First, the interface specifies th...