3951 search results - page 243 / 791 » Automatic amortized analysis |
187
click to vote
CASCON
2001
15 years 8 months ago
2001
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...
164
click to vote
SPIESR
2004
15 years 8 months ago
2004
The production of closed captions is an important but expensive process in video broadcasting. We propose a method to generate highly accurate off-line captions efficiently. Our s...
189
click to vote
JEC
2006
15 years 6 months ago
2006
We analyze the integration of automatic memory management in a real-time context. We focus on integrating a real-time (copying) garbage collector with hard real-time static-priori...
191
click to vote
ACL
2009
15 years 4 months ago
2009
In this paper, emotion analysis on blog texts has been carried out for a less privileged language like Bengali. Ekman's six basic emotion types have been selected for reliabl...
140
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Speaker role recognition in TV Broadcast News shows is addressed in this paper with a particular focus on speaker turn role labeling. A mixed approach combining speaker clustering...