4581 search results - page 264 / 917 » Computing Transformation Semigroups |
169
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we provide a transformation from the branching bisimulation problem for infinite, concurrent, data-intensive systems in linear process format, into solving...
147
click to vote
BMVC
2001
15 years 9 months ago
2001
This paper describes an estimation and representation method for object structure in 3D image data. A windowed Fourier transform is used to estimate the parameters of 3D local str...
181
click to vote
ECCV
2008
Springer
15 years 8 months ago
2008
Springer
Retrieval of similar heart sounds from a sound database has applications in physician training, diagnostic screening, and decision support. In this paper, we exploit a visual rende...
141
click to vote
FLAIRS
1998
15 years 8 months ago
1998
Many techniques of finding possible diagnoses of faulty technical systems involve two sequential steps. First compute the collection of all minimal conflict sets, then transform t...
142
click to vote
COLING
2010
15 years 1 months ago
2010
In this work, we model the writing revision process of English as a Second Language (ESL) students with syntaxdriven machine translation methods. We compare two approaches: tree-t...