11017 search results - page 31 / 2204 » Closure Systems and their Structure |
FOSSACS
2003
Springer
14 years 1 months ago
2003
Springer
Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe th...
LATA
2010
Springer
13 years 12 months ago
2010
Springer
Automated reasoning about systems with infinite domains requires an extension of regular automata to infinite alphabets. Existing formalisms of such automata cope with the infinite...
FGR
2004
IEEE
13 years 11 months ago
2004
IEEE
Both the configuration of facial features and the timing of facial actions are important to emotion and communication. Previous literature has focused on the former. We developed ...
TROB
2008
13 years 6 months ago
2008
SLAM algorithms based on local maps have been demonstrated to be well suited for mapping large environments as they reduce the computational cost and improve the consistency of the...
ICASSP
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper considers the problem of obtaining an accurate spectral representation of speech formant structure when the voicing source exhibits a high fundamental frequency. Our wo...