Sciweavers

940 search results - page 39 / 188
» New Cryptanalytic Results on IDEA
Sort
View
TC
2010
14 years 4 months ago
On the Problem of Evaluating the Performance of Multiprogrammed Workloads
Multithreaded architectures are becoming more and more popular. In order to evaluate their behavior, several methodologies and metrics have been proposed. A methodology defines whe...
Francisco J. Cazorla, Alex Pajuelo, Oliverio J. Sa...
TEC
2010
143views more  TEC 2010»
14 years 4 months ago
Active Categorical Perception of Object Shapes in a Simulated Anthropomorphic Robotic Arm
Active perception refers to a theoretical approach to the study of perception grounded on the idea that perceiving is a way of acting, rather than a process whereby the brain const...
Elio Tuci, Gianluca Massera, Stefano Nolfi
TNN
2010
159views Management» more  TNN 2010»
14 years 4 months ago
Multiple incremental decremental learning of support vector machines
We propose a multiple incremental decremental algorithm of Support Vector Machine (SVM). Conventional single incremental decremental SVM can update the trained model efficiently w...
Masayuki Karasuyama, Ichiro Takeuchi
97
Voted
TSMC
2010
14 years 4 months ago
On Robust Stability of Stochastic Genetic Regulatory Networks With Time Delays: A Delay Fractioning Approach
Robust stability serves as an important regulation mechanism in system biology and synthetic biology. In this paper, the robust stability analysis problem is investigated for a cla...
Yao Wang, Zidong Wang, Jinling Liang
POPL
2012
ACM
13 years 5 months ago
Syntactic control of interference for separation logic
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...
Uday S. Reddy, John C. Reynolds