467 search results - page 53 / 94 » I O-automata Based Testing |
112
Voted
TCAD
1998
15 years 3 days 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...
108
click to vote
RAS
2008
14 years 12 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...
101
Voted
CCS
2010
ACM
14 years 11 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...
100
Voted
ICRA
2010
IEEE
14 years 11 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...
118
Voted
SIGCSE
2008
ACM
14 years 11 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...