1511 search results - page 114 / 303 » Relational Parametricity for Computational Effects |
CORR
2008
Springer
15 years 4 months ago
2008
Springer
The Karmarkar-Karp differencing algorithm is the best known polynomial time heuristic for the number partitioning problem, fundamental in both theoretical computer science and stat...
138
click to vote
ECCV
1998
Springer
16 years 6 months ago
1998
Springer
Diffuse interreflections mean that surface shading and shape are related in ways that are difficult to untangle; in particular, distant and invisible surfaces may affect the shadi...
164
Voted
HAPTICS
2005
IEEE
15 years 10 months ago
2005
IEEE
Friction cancellation and high gain force feedback are studied for their relative benefits in mitigating the effects of friction in haptic interfaces. Although either technique a...
138
click to vote
GCC
2005
Springer
15 years 10 months ago
2005
Springer
The Semantic Link Network model SLN and Resource Space Model RSM are semantic models proposed separately for effectively specifying and managing versatile resources across the Inte...
120
click to vote
EUROPAR
2004
Springer
15 years 10 months ago
2004
Springer
The APART working group is developing the APART Test Suite (ATS) for evaluating (automatic) performance analysis tools with respect to their correctness – that is, their ability...