6770 search results - page 497 / 1354 » How GPUs Work |
161
click to vote
LOPSTR
1998
Springer
15 years 10 months ago
1998
Springer
This paper describes a class of decision procedures that we have found useful for efficient, domain-specific deductive synthesis, and a method for integrating this type of procedur...
225
Voted
PLILP
1998
Springer
15 years 10 months ago
1998
Springer
This paper shows how lazy functional programs can be made mobile by compiling them for the Java Virtual Machine. The Haskell compiler it describes is based on the h ,Gi-machine, wh...
165
click to vote
ICIP
1997
IEEE
15 years 10 months ago
1997
IEEE
In fractal image compression a partitioning of the image into ranges is required. In our previous work [1] we have proposed to find good partitionings by means of a split-andmerg...
203
Voted
TAGT
1998
Springer
15 years 10 months ago
1998
Springer
When working with diagrams in visual environments like graphical diagram editors, diagrams have to be represented by an internal model. Graphs and hypergraphs are well-known concep...
162
click to vote
COMPGEOM
1997
ACM
15 years 10 months ago
1997
ACM
Given a pair of nonidentical complex objects, de ning and determining how similar they are to each other is a nontrivial problem. In data mining applications, one frequently nee...