1585 search results - page 172 / 317 » A framework for computer-aided validation |
121
Voted
BMVC
2010
15 years 1 months ago
2010
This paper studies image segmentation based on the minimum description length (MDL) functional combining spatial regularization with a penality for the number of distinct segments...
140
Voted
BMVC
2010
15 years 1 months ago
2010
Achieving high accuracy in the presence of expression variation remains one of the most challenging aspects of 3D face recognition. In this paper, we propose a novel recognition a...
124
Voted
COMPSAC
2010
IEEE
15 years 1 months ago
2010
IEEE
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...
131
Voted
GLOBECOM
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper, we propose a novel routing protocol, PRO, for profile-based routing in pocket switched networks. Differing from previous routing protocols, PRO treats node encounter...
166
Voted
SEAL
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Mainstream surrogate approaches for multi-objective problems build one approximation for each objective. Mono-surrogate approaches instead aim at characterizing the Paret...