3384 search results - page 269 / 677 » More Testable Properties |
166
click to vote
CEC
2010
IEEE
15 years 7 months ago
2010
IEEE
The evolution of Artificial Intelligence has passed through many phases over the years, going from rigorous mathematical grounding to more intuitive bio-inspired approaches. Despit...
194
click to vote
ICANN
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In this article we exploit the discrete-time dynamics of a single neuron with self-connection to systematically design simple signal filters. Due to hysteresis effects an...
139
click to vote
FSTTCS
2008
Springer
15 years 7 months ago
2008
Springer
Several recent works have studied subfamilies of deterministic context-free languages with good closure properties, for instance the families of input-driven or visibly pushdown la...
150
click to vote
GD
2008
Springer
15 years 7 months ago
2008
Springer
We describe an efficient method for drawing any n-vertex simple graph G in the hyperbolic plane. Our algorithm produces greedy drawings, which support greedy geometric routing, so...
188
click to vote
ATVA
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Controlling concurrent systems to impose some global invariant is an undecidable problem. One can gain decidability at the expense of reducing concurrency. Even under thi...