1228 search results - page 106 / 246 » Continuations, proofs and tests |
CPP
2011
12 years 8 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
— In a wide range of applications the orientation of a rigid body does not need to be restricted to one given orientation, but can be given as a continuous set of frames. We addr...
FGR
2008
IEEE
14 years 2 months ago
2008
IEEE
We present a discriminative approach to frame-by-frame head pose tracking that is robust to a wide range of illuminations and facial appearances and that is inherently immune to a...
DATE
2007
IEEE
14 years 2 months ago
2007
IEEE
RFIC reliability is fast becoming a major bottleneck in the yield and performance of modern IC systems, as process complexity and levels of integration continually increase. Due t...
GECCO
2005
Springer
14 years 1 months ago
2005
Springer
Differential evolution (DE) is well known as a simple and efficient scheme for global optimization over continuous spaces. In this paper we present two new, improved variants of D...