4985 search results - page 203 / 997 » Observation of String-Rewriting Systems |
120
Voted
RAS
2006
15 years 3 months ago
2006
This paper presents the design of a stable non-linear control system for the remote visual tracking of cellular robots. The robot is controlled through visual feedback based on th...
125
Voted
JDCTA
2010
14 years 10 months ago
2010
Multiview image registration is to compute the globally consistent transformations of a sequence of images. Due to various uncertainties, multiview image registration is considere...
136
click to vote
MICRO
2010
IEEE
14 years 10 months ago
2010
IEEE
Since the non-cache parts of a core are less regular, compared to on-chip caches, tolerating manufacturing defects in the processing core is a more challenging problem. Due to the ...
130
Voted
SCL
2010
14 years 10 months ago
2010
A class of binary decision-making tasks called the two-alternative forced-choice task has been used extensively in psychology and behavioral economics experiments to investigate h...
146
Voted
TII
2010
14 years 10 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...