94 search results - page 10 / 19 » Extracting a Data Flow Analyser in Constructive Logic |
127
Voted
ICIP
2003
IEEE
16 years 3 months ago
2003
IEEE
In this paper we present a system for classifying various human actions in compressed domain video framework. We introduce the notion of quantifying the motion involved, through w...
119
click to vote
ICFP
2006
ACM
16 years 1 months ago
2006
ACM
We describe an s-expression based syntax-extension framework much like Scheme macros, with a key additional facility: the ability to define static semantics, such as type systems ...
116
Voted
DOCENG
2009
ACM
15 years 8 months ago
2009
ACM
The PDF format is commonly used for the exchange of documents on the Web and there is a growing need to understand and extract or repurpose data held in PDF documents. Many system...
124
click to vote
IPSN
2010
Springer
15 years 8 months ago
2010
Springer
For in-network storage schemes, one maps data, indexed in a logical space, to the distributed sensor locations. When the physical sensor network has an irregular shape and possibl...
145
click to vote
EDBTW
2006
Springer
15 years 5 months ago
2006
Springer
Several query languages have been proposed for managing data streams in modern monitoring applications. Continuous queries expressed in these languages usually employ windowing con...