1759 search results - page 157 / 352 » A guide to membrane computing |
209
click to vote
UAI
2007
15 years 7 months ago
2007
Bayesian networks (BN) are particularly well suited to capturing vague and uncertain knowledge. However, the capture of this knowledge and associated reasoning from human domain e...
164
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We investigate the power of play-out, the execution mechanism associated with scenario-based programming, which was defined as the operational semantics of live sequence ...
221
click to vote
ACMDIS
2010
ACM
15 years 6 months ago
2010
ACM
We present our experiences of using an iterative, prototypedriven approach to developing social systems with the participation of communities, inspired by probe-based methodologie...
140
click to vote
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...
126
click to vote
ECCV
2010
Springer
15 years 6 months ago
2010
Springer
This paper introduces a new procedure to handle color in single image super resolution (SR). Most existing SR techniques focus primarily on enforcing image priors or synthesizing i...