1959 search results - page 81 / 392 » Concerned About Separation |
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
Thispaper describes a method of implementing thermal powerfeedback (TPF) into a 5th order nonlinear distortion analysis with Volterra-series. The main advantages of the Volterra a...
DAGM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We introduce a novel approach for separating and segmenting individual facades from streetside images. Our algorithm incorporates prior knowledge about arbitrarily shaped...
132
click to vote
FAC
2007
15 years 4 months ago
2007
In object-oriented programming, reentrant method invocations and shared references make it difficult to achieve adequate encapsulation for sound modular reasoning. This tutorial p...
108
click to vote
DCG
2000
15 years 3 months ago
2000
We consider rotations A, B of finite order in SO(3), about axes separated by an angle of restricted type, and attempt to classify the possible group relations between A and B. We s...
139
click to vote
CSL
2009
Springer
15 years 10 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...