2940 search results - page 359 / 588 » Relational Parametricity and Control |
150
click to vote
WADT
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
184
click to vote
SIGMOD
1997
ACM
15 years 10 months ago
1997
ACM
Data warehouses store materialized views over base data from external sources. Clients typically perform complex read-only queries on the views. The views are refreshed periodical...
157
click to vote
CGI
1996
IEEE
15 years 10 months ago
1996
IEEE
Image morphing has been the subject of much attention in recent years. It has proven to be a powerful visual effects tool in film and television, depicting the fluid transformatio...
146
click to vote
CIKM
1997
Springer
15 years 10 months ago
1997
Springer
As more online databases are integrated into digital libraries, the issue of quality control of the data becomes increasingly important, especially as it relates to the effective ...
161
click to vote
CVRMED
1997
Springer
15 years 10 months ago
1997
Springer
There are many roles for electromechanical devices in image guided surgery. One is to help a surgeon accurately follow a preoperative plan. Devices for this purpose may be localiz...