Sciweavers

2226 search results - page 21 / 446
» Computable Analysis via Representations
Sort
View
109
Voted
FSTTCS
2005
Springer
15 years 7 months ago
Reachability Analysis of Multithreaded Software with Asynchronous Communication
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...
Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, J...
128
Voted
SIGECOM
2006
ACM
184views ECommerce» more  SIGECOM 2006»
15 years 7 months ago
Computing pure nash equilibria in graphical games via markov random fields
We present a reduction from graphical games to Markov random fields so that pure Nash equilibria in the former can be found by statistical inference on the latter. Our result, wh...
Constantinos Daskalakis, Christos H. Papadimitriou
ICPR
2004
IEEE
16 years 3 months ago
Structural Representation of Speech for Phonetic Classification
This paper explores the issues involved in using symbolic metric algorithms for automatic speech recognition (ASR), via a structural representation of speech. This representation ...
Alexander Gutkin, Simon King
116
Voted
SASO
2007
IEEE
15 years 8 months ago
Novel Mathematics-Inspired Algorithms for Self-Adaptive Peer-to-Peer Computing
This paper describes, and evaluates benefits of, a design methodology to translate certain mathematical models into the design of novel, self-adaptive, peer-to-peer (p2p) distrib...
Steven Y. Ko, Indranil Gupta, Yookyung Jo
123
Voted
ICB
2007
Springer
308views Biometrics» more  ICB 2007»
15 years 8 months ago
Learning Multi-scale Block Local Binary Patterns for Face Recognition
Abstract. In this paper, we propose a novel representation, called Multiscale Block Local Binary Pattern (MB-LBP), and apply it to face recognition. The Local Binary Pattern (LBP) ...
ShengCai Liao, XiangXin Zhu, Zhen Lei, Lun Zhang, ...