6978 search results - page 1252 / 1396 » On Proofs in System P |
ICMI
2004
Springer
14 years 2 months ago
2004
Springer
In this paper, we adopt a direct modeling approach to utilize conversational gesture cues in detecting sentence boundaries, called SUs, in video taped conversations. We treat the ...
ICT
2004
Springer
14 years 2 months ago
2004
Springer
- Application level active networks provide a way of transforming the current network infrastructure into one where new services and protocols are more easily adopted and utilized ...
ICWE
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Web Services and Web Service composition languages for Web Service choreography are becoming more and more important in the area for inter-enterprise application and proc...
ISMIR
2004
Springer
14 years 2 months ago
2004
Springer
This poster presents a Brazilian popular music oriented digital library proposal conceived for a virtual community of people interested in acquiring knowledge about Brazilian popu...
SETN
2004
Springer
14 years 2 months ago
2004
Springer
In this paper we present a novel approach, called “Text to Pronunciation (TtP)”, for the proper normalization of Non-Standard Words (NSWs) in unrestricted texts. The methodolog...