6014 search results - page 96 / 1203 » Parametric Analysis of Computer Systems |
133
Voted
IEEEVAST
2010
14 years 9 months ago
2010
Data sets in astronomy are growing to enormous sizes. Modern astronomical surveys provide not only image data but also catalogues of millions of objects (stars, galaxies), each ob...
121
click to vote
AAECC
2007
Springer
15 years 2 months ago
2007
Springer
We enhance the dependency pair method in order to prove termination using recursive structure analysis in simply-typed term rewriting systems, which is one of the computational mod...
ICCV
2005
IEEE
16 years 4 months ago
2005
IEEE
Most multi-camera vision applications assume a single common color response for all cameras. However different cameras--even of the same type--can exhibit radically different colo...
121
click to vote
ISWC
2002
IEEE
15 years 7 months ago
2002
IEEE
Wearable, camera based, head–tracking systems use spatial image registration algorithms to align images taken as the wearer gazes around their environment. This allows for compu...
121
click to vote
IPPS
2005
IEEE
15 years 8 months ago
2005
IEEE
Embedded designers now have the capability of offloading software routines into custom applicationspecific hardware blocks. This paper evaluates a domain-specific design system fo...