2702 search results - page 302 / 541 » Practically Applicable Formal Methods |
135
Voted
TIP
2008
15 years 2 months ago
2008
Abstract--In this paper, we present a complete and practical algorithm for the approximation of level-set-based curve evolution suitable for real-time implementation. In particular...
118
Voted
GLOBECOM
2008
IEEE
15 years 9 months ago
2008
IEEE
—In this paper, we propose several spectrum sensing methods designed using the generalized likelihood ratio test (GLRT) paradigm, for application in a cognitive radio network. Th...
109
Voted
CEC
2007
IEEE
15 years 9 months ago
2007
IEEE
— In this paper we present a new algorithm for the Layout Optimization Problem: this concerns the placement of circular, weighted objects inside a circular container, the two obj...
123
Voted
SCALESPACE
2007
Springer
15 years 9 months ago
2007
Springer
This paper introduces a new framework for two-phase image segmentation, namely the Fuzzy Region Competition. A generic formulation is developed that extends in a convex way several...
108
Voted
ACCV
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents a practical method for hypothesizing hand locations and subsequently recognizing a discrete number of poses in image sequences. In a typical setting the user is...