Sciweavers

7121 search results - page 940 / 1425
» Modeling Signs Using Functional Data Analysis
Sort
View
172
Voted
CCS
2009
ACM
16 years 1 months ago
Computational soundness for key exchange protocols with symmetric encryption
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
Ralf Küsters, Max Tuengerthal
177
Voted
ASPDAC
2004
ACM
126views Hardware» more  ASPDAC 2004»
16 years 9 days ago
High-level area and power-up current estimation considering rich cell library
— Reducing the ever-growing leakage power is critical to power efficient designs. Leakage reduction techniques such as power-gating using sleep transistor insertion introduces la...
Fei Li, Lei He, Joseph M. Basile, Rakesh J. Patel,...
HICSS
2002
IEEE
80views Biometrics» more  HICSS 2002»
15 years 11 months ago
Collaboration between Writer and Reviewer through Change Representation Tools
Change representation concerns how changes of text are presented in writing tools. Change representation in collaborative writing can play an important role for the collaborators&...
Hee-Cheol (Ezra) Kim, Kerstin Severinson Eklundh
219
Voted
CVPR
2010
IEEE
16 years 15 days ago
Semantic Context Modeling with Maximal Margin Conditional Random Fields for Automatic Image Annotation
Context modeling for Vision Recognition and Automatic Image Annotation (AIA) has attracted increasing attentions in recent years. For various contextual information and resources,...
Yu Xiang, Xiangdong Zhou, Zuotao Liu, Tat-seng chu...
182
Voted
NIPS
2003
15 years 8 months ago
Maximum Likelihood Estimation of a Stochastic Integrate-and-Fire Neural Model
Recent work has examined the estimation of models of stimulus-driven neural activity in which some linear filtering process is followed by a nonlinear, probabilistic spiking stag...
Jonathan Pillow, Liam Paninski, Eero P. Simoncelli