4708 search results - page 388 / 942 » Generating the Structure of Argument |
172
click to vote
NN
2002
Springer
15 years 6 months ago
2002
Springer
We propose a dynamically coupled neural oscillator network for image segmentation. Instead of pair-wise coupling, an ensemble of oscillators coupled in a local region is used for ...
155
click to vote
SIAMCO
2002
15 years 6 months ago
2002
An averaging technique for nonlinear multiscale singularly perturbed control systems is developed. Issues concerning the existence and structure of limit occupational measures sets...
143
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
: This article is about the architecture of a wavelet filter bank with reprogrammable logic. It is based on second generation of wavelets with a reduced of number of operations. A ...
212
click to vote
JAR
2010
15 years 5 months ago
2010
Abstract. We present a declarative language inspired by the pseudonatural language used in Matita for the explanation of proof terms. We show how to compile the language to proof t...
168
click to vote
SAT
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We study simple classes of mixed Horn formulas, in which the structure of the Horn part is drastically constrained. We show that the SAT problem for formulas in these cla...