1554 search results - page 81 / 311 » cases 2003 |
IPPS
2003
IEEE
15 years 3 months ago
2003
IEEE
We propose general purposes natural heuristics for static block and block-cyclic heterogeneous data decomposition over processes of parallel program mapped into multidimensional g...
TPHOL
2003
IEEE
15 years 3 months ago
2003
IEEE
Coverage checking is the problem of deciding whether any closed term of a given type is an instance of at least one of a given set of patterns. It can be used to verify if a functi...
CSEE
2003
Springer
15 years 3 months ago
2003
Springer
Most software engineering courses focus exclusively on the software development process, often referring to problems related to the complexity of software products and processes. ...
102
click to vote
CSL
2003
Springer
15 years 3 months ago
2003
Springer
For a fixed countable homogeneous relational structure Γ we study the computational problem whether a given finite structure of the same signature homomorphically maps to Γ. T...
DAGM
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. The calibration of cameras from external orientation information and image processing is addressed in this paper. We will show that in the case of known rotation the cali...