677 search results - page 62 / 136 » Dependent Types from Counterexamples |
ECIS
2004
14 years 11 months ago
2004
As knowledge gains a reputation for being a critical resource in the information-intensive economy, organizations have doubled their efforts in trying to extract value from knowle...
NIPS
2003
14 years 11 months ago
2003
We present test results from spike-timing correlation learning experiments carried out with silicon neurons with STDP (Spike Timing Dependent Plasticity) synapses. The weight chan...
UAI
1998
14 years 11 months ago
1998
We study two-layer belief networks of binary random variables in which the conditional probabilities Pr childjparents depend monotonically on weighted sums of the parents. In larg...
CLEF
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. This working notes paper describes our first participation in the ImageCLEF2010 Wikipedia Retrieval Task[1]. In this task, we mainly test our Quantum Theory inspired retr...
ENTCS
2008
14 years 9 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...