478 search results - page 95 / 96 » Monads of Regular Theories |
JCNS
2007
14 years 10 months ago
2007
Neurons in vivo must process sensory information in the presence of significant noise. It is thus plausible to assume that neural systems have developed mechanisms to reduce this n...
106
click to vote
IFM
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
JELIA
2010
Springer
14 years 9 months ago
2010
Springer
Stable belief sets were introduced by R. Stalnaker in the early ’80s, as a formal representation of the epistemic state for an ideal introspective agent. This notion motivated M...
100
click to vote
KBSE
2010
IEEE
14 years 9 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
100
click to vote
ML
2010
ACM
14 years 9 months ago
2010
ACM
Abstract Clustering Stability methods are a family of widely used model selection techniques for data clustering. Their unifying theme is that an appropriate model should result in...