3058 search results - page 456 / 612 » Reflections on Reflections |
151
click to vote
JSS
2006
15 years 5 months ago
2006
Integrating a system of disparate components to form a single application is still a daunting, high risk task, especially for components with heterogeneous communication expectati...
159
Voted
JUCS
2006
15 years 5 months ago
2006
: Our aim is to discuss what, when and, how deep logic should be taught in the computer science education in connection with the so called "Bologna process". We survey th...
134
click to vote
JUCS
2006
15 years 5 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
169
click to vote
PAMI
2008
15 years 5 months ago
2008
Hierarchical clustering is a stepwise clustering method usually based on proximity measures between objects or sets of objects from a given data set. The most common proximity meas...
174
click to vote
PAMI
2008
15 years 5 months ago
2008
In many computer vision systems, it is assumed that the image brightness of a point directly reflects the scene radiance of the point. However, the assumption does not hold in mos...