Sciweavers

2509 search results - page 359 / 502
» Transactional stream processing
Sort
View
IWINAC
2009
Springer
16 years 1 months ago
Toward an Integrated Visuomotor Representation of the Peripersonal Space
The purpose of this work is the creation of a description of objects in the peripersonal space of a subject that includes two kinds of concepts, related to on-line, action-related ...
Eris Chinellato, Beata Grzyb, Patrizia Fattori, An...
CLUSTER
2008
IEEE
16 years 1 months ago
SPRAT: Runtime processor selection for energy-aware computing
—A commodity personal computer (PC) can be seen as a hybrid computing system equipped with two different kinds of processors, i.e. CPU and a graphics processing unit (GPU). Since...
Hiroyuki Takizawa, Katsuto Sato, Hiroaki Kobayashi
PDP
2008
IEEE
16 years 1 months ago
Distributed Sparse Spatial Selection Indexes
Searching for similar objects in metric-space databases can be efficiently solved by using index data structures. A number of alternative sequential indexes have been proposed in...
Veronica Gil Costa, Mauricio Marín
AVSS
2007
IEEE
16 years 1 months ago
CASSANDRA: audio-video sensor fusion for aggression detection
This paper presents a smart surveillance system named CASSANDRA, aimed at detecting instances of aggressive human behavior in public environments. A distinguishing aspect of CASSA...
Wojtek Zajdel, Johannes D. Krijnders, Tjeerd C. An...
CALCO
2007
Springer
100views Mathematics» more  CALCO 2007»
16 years 1 months ago
Applications of Metric Coinduction
Metric coinduction is a form of coinduction that can be used to establish properties of objects constructed as a limit of finite approximations. One can prove a coinduction step s...
Dexter Kozen, Nicholas Ruozzi