4581 search results - page 896 / 917 » Computing Transformation Semigroups |
KDD
1999
ACM
14 years 22 days ago
1999
ACM
Code synthesis is routinely used in industry to generate GUIs, form lling applications, and database support code and is even used with COBOL. In this paper we consider the questi...
POPL
1998
ACM
14 years 21 days ago
1998
ACM
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
MICCAI
1998
Springer
14 years 20 days ago
1998
Springer
Measuring motion in medical imagery becomes more and more important, in particular for object tracking, image registration, and local displacement measurements. Often, the require...
VISUALIZATION
1996
IEEE
14 years 18 days ago
1996
IEEE
A general volume rendering technique is described that efficiently produces images of excellent quality from data defined over irregular grids having a wide variety of formats. Re...
MPC
2010
Springer
14 years 13 days ago
2010
Springer
cting programs and point-free abstraction [2]. In order to automatically generate the fast running code there was the need to use matrix product as the basic matrix composition ope...