504 search results - page 59 / 101 » Explaining Verification Conditions |
ACL
2007
13 years 9 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
13 years 9 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
13 years 9 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...
NETWORKING
2004
13 years 9 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
13 years 9 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...