4745 search results - page 337 / 949 » Discretization: An Enabling Technique |
205
click to vote
RSP
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
479
click to vote
ICCV
2007
IEEE
16 years 29 days ago
2007
IEEE
In this paper, we propose a new variational framework for computing continuous curve skeletons from discrete objects that are suitable for structural shape representation. We have...
172
click to vote
AIME
2007
Springer
16 years 28 days ago
2007
Springer
We present a novel method for predictive modeling of human brain states from functional neuroimaging (fMRI) data. Extending the traditional canonical correlation analysis of discre...
153
click to vote
CCS
2007
ACM
16 years 27 days ago
2007
ACM
In order to provide certified security services we must provide indicators that can measure the level of assurance that a complex business process can offer. Unfortunately the fo...
178
click to vote
AVSS
2006
IEEE
16 years 24 days ago
2006
IEEE
In this paper we address the spatial activity recognition problem with an algorithm based on Smith-Waterman (SW) local alignment. The proposed SW approach utilises dynamic program...