4985 search results - page 36 / 997 » Observation of String-Rewriting Systems |
ICRA
2003
IEEE
14 years 28 days ago
2003
IEEE
—The learning from observation (LFO) paradigm has been widely applied in various types of robot systems. It helps reduce the work of the programmer. However, the applications of ...
ISBI
2004
IEEE
14 years 8 months ago
2004
IEEE
A novel system for measurement of motile microorganism galvanotaxis using high-speed vision is presented. Our goal is to construct a smart microsystem composed of many controlled ...
TLCA
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
BIRTHDAY
2005
Springer
14 years 1 months ago
2005
Springer
The paper introduces a novel approach to the synthesis of labelled transition systems for calculi with name mobility. The proposal is based on a graphical encoding: Each process is...
CHI
1994
ACM
13 years 11 months ago
1994
ACM
My doctoral research focuses on the usability and usage of new computer technology such as interactive systems that support the combination different input media such as voice, ge...