1024 search results - page 115 / 205 » Value complete, column complete, predicate complete |
126
click to vote
ICIP
2007
IEEE
16 years 3 months ago
2007
IEEE
In digital imaging applications, data are typically obtained via a spatial subsampling procedure implemented as a color filter array--a physical construction whereby only a single...
CADE
2002
Springer
16 years 2 months ago
2002
Springer
Modularity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 Michael Abbott, Neil Ghani, and Christoph L?uth Union of Equational Theo...
117
click to vote
IROS
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— Autonomous estimation of the altitude of an Unmanned Aerial Vehicle (UAV) is extremely important when dealing with flight maneuvers like landing, steady flight, etc. ...
CALCO
2007
Springer
15 years 8 months ago
2007
Springer
Besides functional correctness, specifications must describe other properties of permissible implementations. We want to use simple algebraic techniques to specify resource usage ...
170
click to vote
APCCAS
2006
IEEE
15 years 7 months ago
2006
IEEE
—An active-RC complex filter synthesized from leapfrog low-pass prototype is proposed in this paper, which is less sensitive to components values variation comparing with the com...