Sciweavers

5089 search results - page 369 / 1018
» Attention
Sort
View
CORR
2010
Springer
150views Education» more  CORR 2010»
15 years 6 months ago
Existence and Global Logarithmic Stability of Impulsive Neural Networks with Time Delay
The stability and convergence of the neural networks are the fundamental characteristics in the Hopfield type networks. Since time delay is ubiquitous in most physical and biologi...
A. K. Ojha, Dushmanta Mallick, C. Mallick
CORR
2010
Springer
82views Education» more  CORR 2010»
15 years 6 months ago
Removing Local Extrema from Imprecise Terrains
In this paper, we study imprecise terrains, that is, triangulated terrains with a vertical error interval in the vertices. We study the problem of removing as many local extrema (...
Chris Gray, Frank Kammer, Maarten Löffler, Ro...
CORR
2010
Springer
136views Education» more  CORR 2010»
15 years 6 months ago
Applying Prolog to Develop Distributed Systems
Development of distributed systems is a difficult task. Declarative programming techniques hold a promising potential for effectively supporting programmer in this challenge. Whil...
Nuno P. Lopes, Juan A. Navarro, Andrey Rybalchenko...
CORR
2010
Springer
103views Education» more  CORR 2010»
15 years 6 months ago
On Graph Crossing Number and Edge Planarization
Given an n-vertex graph G, a drawing of G in the plane is a mapping of its vertices into points of the plane, and its edges into continuous curves, connecting the images of their ...
Julia Chuzhoy, Yury Makarychev, Anastasios Sidirop...
CORR
2008
Springer
121views Education» more  CORR 2008»
15 years 6 months ago
Graph Algorithms for Improving Type-Logical Proof Search
Proof nets are a graph theoretical representation of proofs in various fragments of type-logical grammar. In spite of this basis in graph theory, there has been relatively little ...
Richard Moot