1670 search results - page 178 / 334 » On Skolemization in constructive theories |
173
click to vote
TLCA
2007
Springer
16 years 19 days ago
2007
Springer
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...
179
click to vote
CIMCA
2006
IEEE
16 years 17 days ago
2006
IEEE
This work is dedicated to position control of redundant robots, realized with the help of the sensibility theory. The control method allows controlling the robot position followin...
149
click to vote
HICSS
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper presents results from a study of mobile ticketing service acceptance in public transportation. The theoretical background of the study was drawn from technology accepta...
166
click to vote
IJCNN
2006
IEEE
16 years 16 days ago
2006
IEEE
— Inspired by Hebb’s cell assembly theory about how the brain worked, we have developed a function localization neural network (FLNN). The main part of a FLNN is structurally t...
154
click to vote
IROS
2006
IEEE
16 years 16 days ago
2006
IEEE
– Motion synchronization in mobile robot networks is a fundamental task in distributed multi-robot collaboration. In this paper, we investigate the robustness of synchronous spee...