Sciweavers

5030 search results - page 193 / 1006
» cases 2007
Sort
View
FORTE
2004
15 years 8 months ago
Automatized Verification of Ad Hoc Routing Protocols
Numerous specialized ad hoc routing protocols are currently proposed for use, or being implemented. Few of them have been subjected to formal verification. This paper evaluates two...
Oskar Wibling, Joachim Parrow, Arnold Neville Pear...
170
Voted
ESANN
2006
15 years 8 months ago
Gaussian and exponential architectures in small-world associative memories
The performance of sparsely-connected associative memory models built from a set of perceptrons is investigated using different patterns of connectivity. Architectures based on Gau...
Lee Calcraft, Rod Adams, Neil Davey
ESANN
2006
15 years 8 months ago
Nonlinear transient computation and variable noise tolerance
A novel nonlinear transient computation device is presented which is designed to perform computations on multiple spike-train input signals. The input signals perturb the internal ...
Nigel Crook
ACL
2001
15 years 8 months ago
Resolving Ellipsis in Clarification
We offer a computational analysis of the resolution of ellipsis in certain cases of dialogue clarification. We show that this goes beyond standard techniques used in anaphora and ...
Jonathan Ginzburg, Robin Cooper
181
Voted
ACL
2001
15 years 8 months ago
A Syntax-based Statistical Translation Model
We present a syntax-based statistical translation model. Our model transforms a source-language parse tree into a target-language string by applying stochastic operations at each ...
Kenji Yamada, Kevin Knight