4266 search results - page 516 / 854 » A Framework for Defining Logics |
195
click to vote
MICCAI
2008
Springer
16 years 8 months ago
2008
Springer
Abstract. In this paper, we propose a generic framework for intersubject non-linear registration of 4D time-series images. In this framework, spatio-temporal registration is define...
192
click to vote
KDD
2005
ACM
16 years 7 months ago
2005
ACM
The problem of finding frequent patterns from graph-based datasets is an important one that finds applications in drug discovery, protein structure analysis, XML querying, and soc...
167
click to vote
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
Virtual Content Insertion (VCI) is an emerging application of video analysis. For VCI the spatial position is very important as improper placement will make the insertion intrusiv...
169
click to vote
IFM
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional require...
161
click to vote
DSN
2005
IEEE
16 years 14 days ago
2005
IEEE
Hardware dependability improvements have led to a situation in which it is sometimes unnecessary to employ extensive hardware replication to mask hardware faults. Expanding upon o...