3909 search results - page 290 / 782 » Extreme Model Checking |
136
Voted
ICIP
2005
IEEE
16 years 5 months ago
2005
IEEE
A new approach for selective edge enhancement using unsharp masking is presented. This is based on the premise that biological vision and image reproduction share common principle...
117
Voted
ICSE
2004
IEEE-ACM
16 years 3 months ago
2004
IEEE-ACM
FLAVERS is a finite-state verification approach that allows an analyst to incrementally add constraints to improve the precision of the model of the system being analyzed. Except ...
120
click to vote
IROS
2007
IEEE
15 years 9 months ago
2007
IEEE
— Range sensors are popular for localization since they directly measure the geometry of the local environment. Another distinct benefit is their typically high accuracy and spa...
109
click to vote
ISCAS
2003
IEEE
15 years 8 months ago
2003
IEEE
The neural computations that support bat echolocation are of great interest to both neuroscientists and engineers, due to the complex and extremely time-constrained nature of the ...
97
Voted
IJON
2007
15 years 3 months ago
2007
The mormyrid electric …sh displays extremely …ne temporal resolution as measured in behavioral studies. The …rst stage of sensory processing, the sensory a¤erents, also dis...