4609 search results - page 393 / 922 » Automatic Generation of Sigma-Protocols |
189
click to vote
ARCS
2009
Springer
16 years 1 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...
168
click to vote
CAIP
2007
Springer
16 years 29 days 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...
182
click to vote
APSEC
2005
IEEE
16 years 12 days 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...
180
click to vote
GRC
2005
IEEE
16 years 12 days 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...
186
click to vote
ICW
2005
IEEE
16 years 11 days 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...