1975 search results - page 110 / 395 » Property analysis and design understanding |
199
click to vote
CSFW
2005
IEEE
15 years 11 months ago
2005
IEEE
We develop a general method for proving properties of contract-signing protocols using a specialized protocol logic. The method is applied to the Asokan-ShoupWaidner and the Garay...
153
click to vote
SIGSOFT
2008
ACM
16 years 6 months ago
2008
ACM
Framework-intensive applications (e.g., Web applications) heavily use temporary data structures, often resulting in performance bottlenecks. This paper presents an optimized blend...
157
click to vote
CIBB
2008
15 years 8 months ago
2008
Abstract. Stability is an important property of machine learning algorithms. Stability in clustering may be related to clustering quality or ensemble diversity, and therefore used ...
190
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
In this paper we define a Topological Tree (TT) as a knowledge representation method that aims to describe important visual and spatial features of image regions, namely the color...
152
click to vote
DASFAA
2007
IEEE
16 years 15 days ago
2007
IEEE
The study of the Web graph not only yields valuable insight into Web algorithms for crawling, searching and community discovery, and the sociological phenomena that characterize it...