Sciweavers

2649 search results - page 382 / 530
» Temporal Theories of Reasoning
Sort
View
ECCV
2010
Springer
14 years 2 months ago
Programmable Aperture Camera Using LCoS
Since 1960s, aperture patterns have been studied extensively and a variety of coded apertures have been proposed for various applications, including extended depth of field, defocu...
Hajime Nagahara, Changyin Zhou, Takuya Watanabe, H...
LICS
2003
IEEE
14 years 2 months ago
Model-checking Trace Event Structures
Given a regular collection of Mazurkiewicz traces, which can be seen as the behaviours of a finite-state concurrent system, one can associate with it a canonical regular event st...
P. Madhusudan
DATE
2010
IEEE
134views Hardware» more  DATE 2010»
14 years 2 months ago
Simultaneous budget and buffer size computation for throughput-constrained task graphs
Abstract—Modern embedded multimedia systems process multiple concurrent streams of data processing jobs. Streams often have throughput requirements. These jobs are implemented on...
Maarten Wiggers, Marco Bekooij, Marc Geilen, Twan ...
ICPR
2002
IEEE
14 years 2 months ago
Feature Extraction Methods Applied to the Clustering of Electrocardiographic Signals. A Comparative Study
In this paper, a method to automatically extract the main information from a long-term electrocardiographic signal is presented. This method is based on techniques of pattern reco...
David Cuesta-Frau, Juan Carlos Pérez-Cortes...
GIS
2009
ACM
14 years 1 months ago
GeoDec: a multi-layered query processing framework for spatio-temporal data
Harnessing the potential of today’s ever growing and dynamic geospatial data requires the development of novel visual analysis interfaces, tools and technologies. In this paper,...
Luciano Nocera, Arjun Rihan, Songhua Xing, Ali Kho...