545 search results - page 20 / 109 » Recursive logic frames |
MM
2000
ACM
15 years 4 months ago
2000
ACM
We have designed a graphical interface that enables 3D visual artists or developers of interactive 3D virtual environments to efficiently define sophisticated camera compositions ...
105
click to vote
TIP
2008
14 years 11 months ago
2008
We propose a principled framework for recursively segmenting deformable objects across a sequence of frames. We demonstrate the usefulness of this method on left ventricular segmen...
TASLP
2008
14 years 11 months ago
2008
This paper considers estimation of the noise spectral variance from speech signals contaminated by highly nonstationary noise sources. The method can accurately track fast changes ...
93
Voted
JSYML
2010
14 years 10 months ago
2010
Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) ...
KBSE
2008
IEEE
15 years 6 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...