Sciweavers

5164 search results - page 543 / 1033
» Consistency of the EKF-SLAM Algorithm
Sort
View
ICIAR
2005
Springer
16 years 17 days ago
Shape Similarity Measurement for Boundary Based Features
In this study, we propose two algorithms for measuring the distance between shape boundaries. In the algorithms, shape boundary is represented by the Beam Angle Statistics (BAS), w...
Nafiz Arica, Fatos T. Yarman-Vural
174
Voted
ISW
2005
Springer
16 years 17 days ago
Evaluating Access Control Policies Through Model Checking
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev
ASPDAC
2004
ACM
83views Hardware» more  ASPDAC 2004»
16 years 15 days ago
A procedure for obtaining a behavioral description for the control logic of a non-linear pipeline
Much attention has been directed to different aspects of the design of pipelines [1,2,3,4]. Design of the control logic of non-linear pipelines has however, been considered as a su...
Hashem Hashemi Najaf-abadi
DMSN
2004
ACM
16 years 15 days ago
A framework for spatio-temporal query processing over wireless sensor networks
Wireless sensor networks consist of nodes with the ability to measure, store, and process data, as well as to communicate wirelessly with nodes located in their wireless range. Us...
Alexandru Coman, Mario A. Nascimento, Jörg Sa...
ICA
2004
Springer
16 years 13 days ago
Exploiting Spatiotemporal Information for Blind Atrial Activity Extraction in Atrial Arrhythmias
The analysis and characterization of atrial tachyarrhythmias requires the previous estimation of the atrial activity (AA) free from any ventricular activity and other artefacts. Th...
Francisco Castells, Jorge Igual, Vicente Zarzoso, ...