258 search results - page 4 / 52 » Some Notes on Fine Computability |
ATVA
2006
Springer
14 years 2 months ago
2006
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. Each safety property can be associated with...
AAIM
2006
Springer
14 years 4 months ago
2006
Springer
In this note we deal with sensitivity analysis of combinatorial optimization problems and its fundamental term, the tolerance. For three classes of objective functions (Σ, Π, MA...
MFPS
1993
14 years 3 months ago
1993
All known structures involving a constructively obtainable fixed point (or iteration) operation satisfy the equational laws defining iteration theories. Hence, there seems to be...
ICNSC
2007
IEEE
14 years 5 months ago
2007
IEEE
This paper discusses some useful image processing techniques for an ultrasound image using adaptive morphological operations. They are defined in such a way that the used structur...
MICCAI
2000
Springer
14 years 2 months ago
2000
Springer
Augmented surgical manipulation tasks can be viewed as a sequence of smaller, steps driven primarily by the surgeon's input. These steps can be abstracted as controlled intera...