6693 search results - page 686 / 1339 » Methods of Automatic Algorithm Generation |
216
click to vote
CVPR
1996
IEEE
15 years 11 months ago
1996
IEEE
We propose a new method for view synthesis from real images using stereo vision. The method does not explicitly model scene geometry, and enables fast and exact generation of synt...
179
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
We present an argumentation-based formalism that an agent could use for constructing plans. We will analyze the interaction of arguments and actions when they are combined to cons...
158
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper proposes a new noncoherent detection system improved based on the differential chaos shift keying (DCSK) and the correlation delay shift keying (CDSK). In this schem...
169
click to vote
TLDI
2003
ACM
16 years 13 days ago
2003
ACM
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...
194
click to vote
CAV
1993
Springer
15 years 11 months ago
1993
Springer
Abstract. We describe the implementation, within ALDEBARAN of an algorithmic method allowing the generation of a minimal labeled transition rom an abstract model ; this minimality ...