4609 search results - page 393 / 922 » Automatic Generation of Sigma-Protocols |
218
click to vote
ARCS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Many-core processor architectures require scalable solutions that reflect the locality and power constraints of future generations of technology. This paper presents a CM...
192
click to vote
CAIP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we introduce a new method for image segmentation. It is based on a height map generated from the input image. The height map characterizes the image content...
205
click to vote
APSEC
2005
IEEE
16 years 1 months ago
2005
IEEE
We describe the “STSC” prototype tool that supports the statistical testing of software components. The tool supports a wide range of operational profiles and test oracles for...
192
Voted
GRC
2005
IEEE
16 years 1 months ago
2005
IEEE
— Decision rules generated from reducts can fully describe a data set. We introduce a new method of evaluating rules by taking advantage of rough sets theory. We consider rules g...
201
click to vote
ICW
2005
IEEE
16 years 1 months ago
2005
IEEE
Realistic simulation scenarios are critical to correctly assess the performance of mobile ad hoc networks. This paper presents a tool to generate realistic mobility traces for MAN...