Sciweavers

860 search results - page 90 / 172
» A Novel Approach to Parenting in Functional Program Evaluati...
Sort
View
COR
2008
103views more  COR 2008»
13 years 9 months ago
A tabu search algorithm for structural software testing
This paper presents a tabu search metaheuristic algorithm for the automatic generation of structural software tests. It is a novel work since tabu search is applied to the automat...
Eugenia Díaz, Javier Tuya, Raquel Blanco, J...
ISVC
2009
Springer
14 years 3 months ago
Adaptive Contextual Energy Parameterization for Automated Image Segmentation
Image segmentation techniques are predominately based on parameter-laden optimization processes. The segmentation objective function traditionally involves parameters (i.e. weights...
Josna Rao, Ghassan Hamarneh, Rafeef Abugharbieh
BMVC
2010
13 years 7 months ago
Motion Coherent Tracking with Multi-label MRF optimization
We present a novel off-line algorithm for target segmentation and tracking in video. In our approach, video data is represented by a multi-label Markov Random Field model, and seg...
David Tsai, Matthew Flagg, James M. Rehg
CVPR
2003
IEEE
14 years 2 months ago
Surface Reconstruction via Helmholtz Reciprocity with a Single Image Pair
This paper brings a novel method for three-dimensional reconstruction of surfaces that takes advantage of the symmetry resulting from alternating the positions of a camera and a l...
Peter H. Tu, Paulo R. S. Mendonça
ECAI
2008
Springer
13 years 10 months ago
Optimizing Causal Link Based Web Service Composition
Automation of Web service composition is one of the most interesting challenges facing the Semantic Web today. Since Web services have been enhanced with formal semantic descriptio...
Freddy Lécué, Alexandre Delteil, Ala...