Sciweavers

1067 search results - page 185 / 214
» Probabilistic regular graphs
Sort
View
102
Voted
HICSS
2006
IEEE
114views Biometrics» more  HICSS 2006»
15 years 8 months ago
A Formal Approach towards Assessing the Effectiveness of Anti-Spam Procedures
Spam e-mails have become a serious technological and economic problem. So far we have been reasonably able to resist spam e-mails and use the Internet for regular communication by...
Guido Schryen
112
Voted
CVPR
2010
IEEE
15 years 8 months ago
Neuron Geometry Extraction by Perceptual Grouping in ssTEM images
In the field of neuroanatomy, automatic segmentation of electron microscopy images is becoming one of the main limiting factors in getting new insights into the functional struct...
Verena Kaynig, Thomas Fuchs, Joachim Buhmann
133
Voted
LICS
2005
IEEE
15 years 8 months ago
Uniform Distributed Synthesis
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
Bernd Finkbeiner, Sven Schewe
FMCO
2004
Springer
15 years 8 months ago
Games with Secure Equilibria
In 2-player non-zero-sum games, Nash equilibria capture the options for rational behavior if each player attempts to maximize her payoff. In contrast to classical game theory, we ...
Krishnendu Chatterjee, Thomas A. Henzinger, Marcin...
126
Voted
SAMOS
2004
Springer
15 years 8 months ago
A Novel Data-Path for Accelerating DSP Kernels
A high-performance data-path to implement DSP kernels is proposed in this paper. The data-path is based on a flexible, universal, and regular component to optimally exploiting both...
Michalis D. Galanis, George Theodoridis, Spyros Tr...