1788 search results - page 297 / 358 » Model Theory for Process Algebra |
157
Voted
NIPS
2008
15 years 5 months ago
2008
We present an approach to low-level vision that combines two main ideas: the use of convolutional networks as an image processing architecture and an unsupervised learning procedu...
169
Voted
PODC
2012
ACM
13 years 6 months ago
2012
ACM
In recent years, there have been a few proposals to add a small amount of trusted hardware at each replica in a Byzantine fault tolerant system to cut back replication factors. Th...
140
Voted
VEE
2006
ACM
15 years 9 months ago
2006
ACM
The Pi-calculus is a formalism to model and reason about highly concurrent and dynamic systems. Most of the expressive power of the language comes from the ability to pass communi...
130
click to vote
WIKIS
2009
ACM
15 years 8 months ago
2009
ACM
Learning “the wiki way”, learning through wikis is a form of selfregulated learning that is independent of formal learning settings and takes place in a community of knowledge...
145
Voted
PE
2010
Springer
15 years 2 months ago
2010
Springer
We consider a push pull queueing system with two servers and two types of jobs which are processed by the two servers in opposite order, with stochastic generally distributed proc...