Sciweavers

4276 search results - page 464 / 856
» Techniques for Empirical Validation
Sort
View
ACCV
2007
Springer
16 years 28 days ago
Pose Estimation from Circle or Parallel Lines in a Single Image
The paper is focused on the problem of pose estimation from a single view in minimum conditions that can be obtained from images. Under the assumption of known intrinsic parameters...
Guanghui Wang, Q. M. Jonathan Wu, Zhengqiao Ji
CSCLP
2007
Springer
16 years 27 days ago
Temporal Reasoning in Nested Temporal Networks with Alternatives
Temporal networks play a crucial role in modeling temporal relations in planning and scheduling applications. Temporal Networks with Alternatives (TNAs) were proposed to model alte...
Roman Barták, Ondrej Cepek, Martin Hejna
IBPRIA
2007
Springer
16 years 27 days ago
Breast Skin-Line Segmentation Using Contour Growing
This paper presents a novel methodology to obtain the breast skin line in mammographic images. The breast edge provides important information of the breast shape and deformation wh...
Robert Marti, Arnau Oliver, David Raba, Jordi Frei...
IFL
2007
Springer
162views Formal Methods» more  IFL 2007»
16 years 27 days ago
Testing Erlang Refactorings with QuickCheck
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...
Huiqing Li, Simon Thompson
170
Voted
ISICA
2007
Springer
16 years 27 days ago
Parameter Setting for Evolutionary Latent Class Clustering
The latent class model or multivariate multinomial mixture is a powerful model for clustering discrete data. This model is expected to be useful to represent non-homogeneous popula...
Damien Tessier, Marc Schoenauer, Christophe Bierna...