467 search results - page 53 / 94 » I O-automata Based Testing |
147
Voted
TCAD
1998
15 years 3 months ago
1998
Abstract—This paper presents an aggressive optimization technique targeting combinational logic circuits. Starting from an initial implementation mapped on a given technology lib...
144
click to vote
RAS
2008
15 years 3 months ago
2008
In this paper, we tackle the problem of unsupervised selection and posterior recognition of visual landmarks in images sequences acquired by an indoor mobile robot. This is a high...
135
click to vote
CCS
2010
ACM
15 years 3 months ago
2010
ACM
We present the first sound program transformation approach for automatically transforming the code of a legacy web application to employ PREPARE statements in place of unsafe SQL...
136
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— Teaching a robot to learn new knowledge is a repetitive and tedious process. In order to accelerate the process, we propose a novel template-based approach for robot arm moveme...
154
click to vote
SIGCSE
2008
ACM
15 years 2 months ago
2008
ACM
We present the design and development of a Visual Learning Engine, a tool that can form the basis for interactive development of visually rich teaching and learning modules across...