2801 search results - page 133 / 561 » On the Adequateness of the Connection Method |
156
Voted
GIR
2006
ACM
15 years 10 months ago
2006
ACM
Metonymic location names refer to other, related entities and possess a meaning different from the literal, geographic sense. Metonymic names are to be treated differently to im...
140
click to vote
CVBIA
2005
Springer
15 years 10 months ago
2005
Springer
In non-rigid image registration problems, it can be difficult to construct a single cost function that adequately captures concepts of similarity for multiple structures, for examp...
154
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
We propose a method for fine grain QoS control of real-time applications. The method allows adapting the overall system behavior by adequately setting the quality level parameter...
130
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Separation Logic consists of a Boolean combination of predicates of the form vi ≥ vj +c where c is a constant and vi, vj are variables of some ordered infinite type li...
121
Voted
ATS
2002
IEEE
15 years 9 months ago
2002
IEEE
We propose a methodology for non-intrusive design of concurrently self-testable FSMs. Unlike duplication schemes, wherein a replica of the original FSM acts as a predictor-compara...