3082 search results - page 515 / 617 » Deviation Analysis: A New Use of Model Checking |
140
click to vote
TCAD
2008
15 years 4 months ago
2008
Physical synthesis tools are responsible for achieving timing closure. Starting with 130nm designs, multiple cycles are required to cross the chip, making latch placement critical...
TSP
2008
15 years 4 months ago
2008
Polarization diversity has proved to be a useful tool for radar detection, especially when discrimination by Doppler effect is not possible. In this paper, we address the problem o...
208
click to vote
VISAPP
2008
15 years 5 months ago
2008
Traffic signs are designed to be clearly seen by drivers. However a little is known about the visual influence of the traffic sign environment on how it will be perceived. Computer...
144
click to vote
TROB
2002
15 years 4 months ago
2002
Abstract--A new image-based control strategy for visual servoing of a class of under-actuated rigid body systems is presented. The proposed control design applies to "eye-in-h...
183
click to vote
ICIP
2009
IEEE
15 years 2 months ago
2009
IEEE
In this paper we briefly overview emerging trends in `Adaptive Morphology', i.e. work related to the theory and/or applications of image analysis filters, systems, or algorit...