504 search results - page 59 / 101 » Explaining Verification Conditions |
65
Voted
ACL
2007
14 years 11 months ago
2007
A number of Russian verbs lack 1sg nonpast forms. These paradigmatic gaps are puzzling because they seemingly contradict the highly productive nature of inflectional systems. We m...
NIPS
2007
14 years 11 months ago
2007
Reward-modulated spike-timing-dependent plasticity (STDP) has recently emerged as a candidate for a learning rule that could explain how local learning rules at single synapses su...
ESANN
2004
14 years 11 months ago
2004
Abstract. In the context of nonlinear regression, we consider the problem of explaining a variable y from a vector x of explanatory variables and from a vector t of conditionning v...
104
click to vote
NETWORKING
2004
14 years 11 months ago
2004
Several new protocols such as RBUDP, User-Level UDP, Tsunami, and SABUL, have been proposed as alternatives to TCP for high speed data transfer. The purpose of this paper is to an...
ADHOCNOW
2008
Springer
14 years 10 months ago
2008
Springer
This paper presents a work in progress which deals with the problem of node misbehaviour in ad-hoc networks. A realistic approach is used to determine the impact of contention wind...