696 search results - page 45 / 140 » Explaining abstract counterexamples |
113
Voted
SIGCSE
1994
ACM
15 years 7 months ago
1994
ACM
This paper describes an application of one of the t abstract concepts taught in a compiler construction course. It demonstrates how the techniques behind the bottom-up SLR parser ...
137
click to vote
ICANN
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In this paper, we will address the endeavors of three disciplines, Psychology, Neuroscience, and Artificial Neural Network (ANN) modeling, in explaining how the mind perc...
147
click to vote
ADBIS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present for the first-order theory of atomic Boolean algebras of sets with linear cardinality constraints a quantifier elimination algorithm. In the case of atomic Boo...
EVOW
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper investigates the communication system of honeybees with the purpose of obtaining an intelligent approach for threedimensional reconstruction. A new framework i...
158
click to vote
BIRTHDAY
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Church's Problem, stated fifty years ago, asks for a finitestate machine that realizes the transformation of an infinite sequence into an infinite sequence such tha...