Sciweavers

276 search results - page 35 / 56
» Proving Properties of Dynamic Process Networks
Sort
View
QEST
2007
IEEE
15 years 3 months ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns
70
Voted
CSE
2009
IEEE
15 years 4 months ago
Information Flow and Search in Unstructured Keyword Based Social Networks
—In online social networks (OSNs), user connections can be represented as a network. The network formed has distinct properties that distinguish it from other network topologies....
Ankush Garg, Prantik Bhattacharyya, Charles U. Mar...
NN
2006
Springer
14 years 9 months ago
Propagation and control of stochastic signals through universal learning networks
The way of propagating and control of stochastic signals through Universal Learning Networks (ULNs) and its applications are proposed. ULNs have been already developed to form a s...
Kotaro Hirasawa, Shingo Mabu, Jinglu Hu
ICASSP
2010
IEEE
14 years 9 months ago
Adaptive compressed sensing - A new class of self-organizing coding models for neuroscience
Sparse coding networks, which utilize unsupervised learning to maximize coding efficiency, have successfully reproduced response properties found in primary visual cortex [1]. Ho...
William K. Coulter, Cristopher J. Hillar, Guy Isle...
144
Voted
SIGMOD
2006
ACM
126views Database» more  SIGMOD 2006»
15 years 9 months ago
Declarative networking: language, execution and optimization
The networking and distributed systems communities have recently explored a variety of new network architectures, both for applicationlevel overlay networks, and as prototypes for...
Boon Thau Loo, Tyson Condie, Minos N. Garofalakis,...