1086 search results - page 178 / 218 » Event Structures with Symmetry |
CHARME
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
ICAPR
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper addresses the clustering problem of hidden dynamical systems behind observed multivariate sequences by assuming an interval-based temporal structure in the seq...
WIDM
2004
ACM
14 years 1 months ago
2004
ACM
We present the user evaluation of two recommendation server methodologies implemented for the NASA Technical Report Server (NTRS). One methodology for generating recommendations u...
ISMIR
2004
Springer
14 years 1 months ago
2004
Springer
The automatic analysis of singing from music is an important and challenging issue within the research target of content-based retrieval of music information. As part of this rese...
OTM
2004
Springer
14 years 1 months ago
2004
Springer
The information collected regarding group activity in a collaborative learning environment requires classifying, structuring and processing. The aim is to process this information ...