1884 search results - page 343 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
103
Voted
ACTA
2010
15 years 21 days ago
2010
We study the observational theory of Thielecke's CPS-calculus, a distillation of the target language of Continuation-Passing Style transforms. We define a labelled transition...
124
click to vote
INFORMATICALT
2008
15 years 17 days ago
2008
Abstract. Data stream mining has become a novel research topic of growing interest in knowledge discovery. Most proposed algorithms for data stream mining assume that each data blo...
110
Voted
IJDAR
2007
15 years 15 days ago
2007
Abstract. Effective indexing is crucial for providing convenient access to scanned versions of large collections of handwritten historical manuscripts. Since traditional handwritin...
119
click to vote
TASLP
2008
15 years 14 days ago
2008
Abstract--This paper is concerned with the automatic recognition of dialogue acts (DAs) in multiparty conversational speech. We present a joint generative model for DA recognition ...
107
Voted
TIP
2008
15 years 14 days ago
2008
Abstract-- The ability to automatically detect visually interesting regions in images has many practical applications, especially in the design of active machine vision and automat...