2162 search results - page 279 / 433 » Automated Reasoning on Feature Models |
159
click to vote
PTS
2008
15 years 6 months ago
2008
Abstract. Model-based testing (MBT) seems to be technically superior to conventional test automation. However, MBT features some difficulties that can hamper its deployment in indu...
133
click to vote
CJ
2007
15 years 4 months ago
2007
Although the Yahalom protocol, proposed by Burrows, Abadi, and Needham in 1990, is one of the most prominent key establishment protocols analyzed by researchers from the computer s...
179
click to vote
TOG
2012
13 years 7 months ago
2012
Large collections of 3D models from the same object class (e.g., chairs, cars, animals) are now commonly available via many public repositories, but exploring the range of shape v...
127
click to vote
ICIP
1999
IEEE
16 years 6 months ago
1999
IEEE
We proposea new ngerprint imagecompressionscheme based on the hybrid model of image. Our scheme uses the essential steps of a typical automated ngerprint identi cation system (AFI...
124
click to vote
IPMI
2005
Springer
15 years 10 months ago
2005
Springer
Many applications in image analysis are concerned with the temporal evolution of shapes in video sequences. In situations involving low-contrast, low-quality images, human aid is o...