1401 search results - page 212 / 281 » Randomness in Interactive Proofs |
IJON
2002
14 years 9 months ago
2002
Neocortical neurons in vivo operate in a high-conductance state which may a ect the dynamics of dendritic integration, but this aspect remains only barely characterized. We invest...
IJON
1998
14 years 9 months ago
1998
With the WEBSOM method a textual document collection may be organized onto a graphical map display that provides an overview of the collection and facilitates interactive browsing...
100
click to vote
ICST
2010
IEEE
14 years 7 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
IJKESDP
2010
14 years 7 months ago
2010
Cognitive Agents must be able to decide their actions based on their recognized states. In general, learning mechanisms are equipped for such agents in order to realize intellgent ...
181
click to vote
LPAR
2012
Springer
13 years 5 months ago
2012
Springer
Abstract. We present a novel counterexample generator for the interactive theorem prover Isabelle based on a compiler that synthesizes test data generators for functional programmi...