Sciweavers

247 search results - page 37 / 50
» Automatic Test Data Generation Using Constraint Solving Tech...
Sort
View
ICNP
2006
IEEE
15 years 5 months ago
Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
Adam Biltcliffe, Michael Dales, Sam Jansen, Tom Ri...
AMFG
2005
IEEE
164views Biometrics» more  AMFG 2005»
15 years 5 months ago
Face View Synthesis Across Large Angles
Pose variations, especially large out-of-plane rotations, make face recognition a difficult problem. In this paper, we propose an algorithm that uses a single input image to accura...
Jiang Ni, Henry Schneiderman
GECCO
2009
Springer
110views Optimization» more  GECCO 2009»
15 years 4 months ago
EMO shines a light on the holes of complexity space
Typical domains used in machine learning analyses only partially cover the complexity space, remaining a large proportion of problem difficulties that are not tested. Since the ac...
Núria Macià, Albert Orriols-Puig, Es...
KES
2006
Springer
14 years 11 months ago
Evolutionary Tuning of Combined Multiple Models
Abstract. In data mining, hybrid intelligent systems present a synergistic combination of multiple approaches to develop the next generation of intelligent systems. Our paper prese...
Gregor Stiglic, Peter Kokol
PAMI
2007
187views more  PAMI 2007»
14 years 11 months ago
Registration of Challenging Image Pairs: Initialization, Estimation, and Decision
—Our goal is an automated 2D-image-pair registration algorithm capable of aligning images taken of a wide variety of natural and man-made scenes as well as many medical images. T...
Gehua Yang, Charles V. Stewart, Michal Sofka, Chia...