3116 search results - page 273 / 624 » Positively dependent types |
189
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We study the semantic meaning of block structure using game semantics and introduce the notion of block-innocent strategies, which turns out to characterise call-by-value...
168
click to vote
AVSS
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a generalized extensible framework for automated recognition of swarming activities in video sequences. The trajectory of each individual is produced by the visual trac...
182
click to vote
ICDE
2007
IEEE
16 years 29 days ago
2007
IEEE
With the rapid progress of mobile devices and positioning technologies, Trajectory Databases (TD) have been in the core of database research during the last decade. Analysis and k...
264
click to vote
SCALESPACE
2007
Springer
16 years 23 days ago
2007
Springer
People often recognize 3D objects by their boundary shape. Designing an algorithm for such a task is interesting and useful for retrieving objects from a shape database. In this pa...
200
click to vote
NDSS
2006
IEEE
16 years 20 days ago
2006
IEEE
The custom, ad hoc nature of web applications makes learning-based anomaly detection systems a suitable approach to provide early warning about the exploitation of novel vulnerabi...