Sciweavers

2509 search results - page 359 / 502
» Transactional stream processing
Sort
View
IWINAC
2009
Springer
16 years 28 days 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 26 days 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 23 days 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 22 days 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 17 days 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