Sciweavers

5465 search results - page 81 / 1093
» Assigning Types to Processes
Sort
View
ICASSP
2009
IEEE
15 years 4 months ago
Contrasting emotion-bearing laughter types in multiparticipant vocal activity detection for meetings
The detection of laughter in conversational interaction presents an important challenge in meeting understanding, important primarily because laughter is predictive of the emotion...
Kornel Laskowski
NOLISP
2005
Springer
15 years 3 months ago
F0 and Intensity Distributions of Marsec Speakers: Types of Speaker Prosody
Most research on F0 has attempted to model the behaviour of an entire linguistic community (e.g of speakers of US or UK English, French, Japanese etc). In this research, we attempt...
Brigitte Zellner Keller
PADL
2004
Springer
15 years 3 months ago
Improved Compilation of Prolog to C Using Moded Types and Determinism Information
We describe the current status of and provide performance results for a prototype compiler of Prolog to C, ciaocc. ciaocc is novel in that it is designed to accept different kinds...
José F. Morales, Manuel Carro, Manuel V. He...
ICPR
2004
IEEE
15 years 11 months ago
Estimation of Distance to Planar Surfaces and Type of Material with Infrared Sensors
This paper proposes a new technique for computing the distance to an unknown planar surface and, at the same time, estimating the material of the surface through the use of low-co...
Miguel Angel García, Agusti Solanas
IFL
2007
Springer
221views Formal Methods» more  IFL 2007»
15 years 4 months ago
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,...