2702 search results - page 265 / 541 » Practically Applicable Formal Methods |
120
Voted
JCP
2008
15 years 1 months ago
2008
This study presents a boundary-based corner detection method that achieves robust detection for digital objects containing wide angles and various curves using curvature. The bound...
109
Voted
RAID
2010
Springer
15 years 27 days ago
2010
Springer
Application-level protocol specifications are helpful for network security management, including intrusion detection, intrusion prevention and detecting malicious code. However, c...
126
Voted
ICPR
2004
IEEE
16 years 3 months ago
2004
IEEE
Recently, maximization mutual information (MMI) of image intensities has been proposed as a new matching criterion for automated multimodality image registration. However, the suc...
114
click to vote
ICARCV
2006
IEEE
15 years 8 months ago
2006
IEEE
- In this paper, a new design method of adaptive PID controller is proposed. The method utilizes the so- called almost strict positive realness (ASPR) of the plant so that the stab...
103
Voted
AIME
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents a method to choose the threshold for dichotomization of survival outcomes in a structured fashion based on data analysis. The method is illustrated with an appl...