3560 search results - page 388 / 712 » integration 2008 |
181
click to vote
SIBGRAPI
2008
IEEE
16 years 2 months ago
2008
IEEE
We present a crude registration algorithm for two partially overlapping range images acquired from a rigid object. Our proposal is characterized by two novel features: drastic dat...
234
click to vote
SIES
2008
IEEE
16 years 2 months ago
2008
IEEE
SystemC becomes popular as an efficient system-level modelling language and simulation platform. However, the solethread simulation kernel obstacles its performance progress from ...
232
click to vote
TPHOL
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantification o...
190
click to vote
VL
2008
IEEE
16 years 2 months ago
2008
IEEE
We present an error-detection and -correction approach for spreadsheets that automatically generates questions about input/output pairs and, depending on the feedback given by the...
216
click to vote
VL
2008
IEEE
16 years 2 months ago
2008
IEEE
We present a visual language for strategies in game theory, which has potential applications in economics, social sciences, and in general science education. This language facilit...