Sciweavers

1150 search results - page 112 / 230
» Tackling Large State Spaces in Performance Modelling
Sort
View
152
Voted
ENTCS
2007
158views more  ENTCS 2007»
15 years 4 months ago
Abstraction and Completeness for Real-Time Maude
ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...
Peter Csaba Ölveczky, José Meseguer
169
Voted
ICDAR
2009
IEEE
15 years 1 months ago
A Multi-Hypothesis Approach for Off-Line Signature Verification with HMMs
In this paper, an approach based on the combination of discrete Hidden Markov Models (HMMs) in the ROC space is proposed to improve the performance of off-line signature verificat...
Luana Batista, Eric Granger, Robert Sabourin
HPCA
2011
IEEE
14 years 7 months ago
Archipelago: A polymorphic cache design for enabling robust near-threshold operation
Extreme technology integration in the sub-micron regime comes with a rapid rise in heat dissipation and power density for modern processors. Dynamic voltage scaling is a widely us...
Amin Ansari, Shuguang Feng, Shantanu Gupta, Scott ...
ICML
2009
IEEE
16 years 4 months ago
Dynamic mixed membership blockmodel for evolving networks
In a dynamic social or biological environment, interactions between the underlying actors can undergo large and systematic changes. Each actor can assume multiple roles and their ...
Wenjie Fu, Le Song, Eric P. Xing
IJCNN
2006
IEEE
15 years 10 months ago
Studies on the Memory Capacity and Robustness of Chaotic Dynamic Neural Networks
- A dynamical neural model that is strongly biologically motivated is applied to learning and retrieving binary patterns. This neural network, known as Freeman’s Ksets, is traine...
Igor Beliaev, Robert Kozma