27827 search results - page 426 / 5566 » Generating |
157
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents an infrastructure to test the functionality of the specific architectures output by a highlevel compiler targeting dynamically reconfigurable hardware. It resu...
148
click to vote
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
We use rhetorical annotations to specify a generation process that can assemble meaningful video sequences with a communicative goal and an argumentative progression. Our annotati...
145
click to vote
ICTAI
2005
IEEE
15 years 10 months ago
2005
IEEE
Following the framework proposed by Besnard and Hunter for argumentation, this paper aims to propose a logical tool for the generation of new arguments when two formal agents have...
112
click to vote
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
- This paper presents a boundary control of bipolar square-wave generator using a second-order switching surface. The switching surface is derived by estimating the state trajector...
118
click to vote
ASPDAC
2005
ACM
15 years 10 months ago
2005
ACM
- This paper extends the depth first search (DFS) used in the previously proposed witness string method for generating efficient test vectors. A state pruning method is added that ...