4609 search results - page 493 / 922 » Automatic Generation of Sigma-Protocols |
131
click to vote
ISMIR
2003
Springer
16 years 1 days ago
2003
Springer
Rhythmic similarity techniques for audio tend to evaluate how close to identical two rhythms are. This paper proposes a similarity metric based on rhythmic elaboration that matche...
149
Voted
SG
2010
Springer
15 years 12 months ago
2010
Springer
In this paper we present a method for detecting rounds and fillets in engineering sketches and drawings, and automatically generating a 3D model of the corresponding object, with r...
202
Voted
ECRTS
2002
IEEE
2002
IEEE
Managing Multi-Mode Tasks with Time Cost and Quality Levels using Optimal Discrete Control Synthesis
15 years 11 months ago
Real-time control systems are complex to design, and automation support is important. We are interested in systems with multiple tasks, each with multiple modes, implementing a fu...
209
Voted
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
Active Contour (or Snake) Model is recognized as one of the efficient tools for 2D/3D image segmentation. However, traditional snake models prove to be limited in several aspects...
189
click to vote
CICLING
2001
Springer
15 years 11 months ago
2001
Springer
This paper deals with the application of natural language processing techniques to the field of information retrieval. To be precise, we propose the application of morphological f...