3713 search results - page 497 / 743 » Constructing a Calculus of Programs |
116
click to vote
MM
2000
ACM
15 years 8 months ago
2000
ACM
We have been handling video with supplementary documents, such as cooking programs, and are working on integration of such media. Through the integration, many applications will b...
124
click to vote
ICCAD
1999
IEEE
15 years 8 months ago
1999
IEEE
: In this paper, an algorithm for simultaneous logic restructuring and placement is presented. This algorithm first constructs a set of super-cells along the critical paths and the...
131
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Fast runtime reconfigurable hardware enables system designers to swap hardware into and out of an FPGA much as the pages of virtual memory are swapped into and out of virtual memor...
127
click to vote
PG
1998
IEEE
15 years 8 months ago
1998
IEEE
The construction of shape spaces is studied from a mathematical and a computational viewpoint. A program is outlined reducing the problem to four tasks: the representation of geom...
133
click to vote
ECML
1998
Springer
15 years 8 months ago
1998
Springer
: Image understanding often requires extensive background knowledge. The problem addressed in this paper is such knowledge can be acquired. We discuss how relational machine learni...