11808 search results - page 481 / 2362 » Isometries and Computability Structures |
175
click to vote
APGV
2004
ACM
16 years 8 days ago
2004
ACM
The class of all natural images is an extremely small fraction of all possible images. Some of the structure of natural images can be modeled statistically, revealing striking reg...
149
click to vote
POLICY
2004
Springer
16 years 6 days ago
2004
Springer
A major hurdle in sharing resources between organizations is heterogeneity. Therefore, in order for two organizations to collaborate their policies have to be resolved. The proces...
200
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
In [1], Murata et al introduced an elegant representation of block placement called sequence pair. All block placement algorithms which are based on sequence pairs use simulated a...
199
Voted
FCCM
2000
IEEE
15 years 11 months ago
2000
IEEE
Custom computing systems exhibit significant speedups over traditional microprocessors by mapping compute-intensive sections of a program to reconfigurable logic [Hauck98]. Howeve...
178
click to vote
ICFP
2000
ACM
15 years 11 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...