6800 search results - page 692 / 1360 » Testing with Functions as Specifications |
218
click to vote
ICMCS
2005
IEEE
16 years 24 days ago
2005
IEEE
In the paper we present a model based method for generating 3D face models from multiple images by means of an energy minimization algorithm. The energy function takes into accoun...
189
click to vote
ICSM
2005
IEEE
16 years 24 days ago
2005
IEEE
In the context of software maintenance, legacy software systems are continuously re-engineered in order to correct errors, provide new functionality, or port them into modern plat...
212
click to vote
ICTAI
2005
IEEE
16 years 24 days ago
2005
IEEE
Estimating the optimal number of clusters for a dataset is one of the most essential issues in cluster analysis. An improper pre-selection for the number of clusters might easily ...
185
click to vote
ASPDAC
2005
ACM
16 years 23 days ago
2005
ACM
- This paper presents a comparison between three different high-level modeling approaches for embedded systems design, focusing on systems that require dataflow models. The propose...
178
click to vote
ACISP
2005
Springer
16 years 23 days ago
2005
Springer
Abstract The Host Identity Protocol (HIP) is an Internet security and multiaddressing mechanism specified by the IETF. HIP introduces a new layer between the transport and network ...