1209 search results - page 87 / 242 » Universal Algebra and Computer Science |
ICRA
2006
IEEE
15 years 8 months ago
2006
IEEE
— In this paper, we present our threefold concept of ”bringing robotics closer to students”. Our efforts begin with motivating high-school students to study engineering scien...
278
Voted
DIMACS
1996
15 years 3 months ago
1996
in Structure'95. 14] R. Fagin. Easier ways to win logical games. In Proc. DIMACS Workshop on Descriptive Complexity and Finite Models, AMS 1997. 15] R. Fagin, L. Stockmeyer, M...
109
click to vote
STACS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In many security protocols, such as group protocols, principals have to perform iterative or recursive computations. We call such protocols recursive protocols. Recently,...
121
click to vote
IJCINI
2007
15 years 2 months ago
2007
Cognitive Informatics (CI) is a transdisciplinary enquiry of the internal information processing mechanisms and processes of the brain and natural intelligence shared by almost al...
LICS
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract. We describe simple algebraic and combinatorial characterisations of finite relational core structures admitting finitely many obstructions. As a consequence, we show th...