11151 search results - page 309 / 2231 » On the Complexity of Model Expansion |
175
click to vote
SMI
2005
IEEE
16 years 1 months ago
2005
IEEE
We present an approach to hierarchically encode the topology of functions over triangulated surfaces. We describe the topology of a function by its Morse-Smale complex, a well kno...
179
click to vote
UML
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticip...
184
click to vote
ISLPED
2004
ACM
16 years 26 days ago
2004
ACM
Modeling and estimation of switching activities remain to be important problems in low-power design and fault analysis. A probabilistic Bayesian Network based switching model can ...
155
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose a generic algorithmic model called STAMP (Synchronous, Transactional, and Asynchronous MultiProcessing) as a universal performance and power complexity model for multit...
164
Voted
CRYPTO
2001
Springer
15 years 12 months ago
2001
Springer
The public-key model for interactive proofs has proved to be quite effective in improving protocol efficiency [CGGM00]. We argue, however, that its soundness notion is more subtle...