Sciweavers

1646 search results - page 39 / 330
» Inlining of Virtual Methods
Sort
View
IROS
2007
IEEE
154views Robotics» more  IROS 2007»
14 years 3 months ago
Robust stereo tracking for space applications
Abstract— This paper proposes a real-time, robust and efficient 3D model-based tracking algorithm for visual servoing. A virtual visual servoing approach is used for 3D tracking...
Fabien Dionnet, Éric Marchand
ISMAR
2005
IEEE
14 years 2 months ago
Shading and Shadowing of Architecture in Mixed Reality
We propose a simple method to express shading and shadowing of virtual objects in Mixed Reality especially appropriate for static architecture models in outdoor scenes. We create ...
Tetsuya Kakuta, Takeshi Oishi, Katsushi Ikeuchi
TLDI
2003
ACM
135views Formal Methods» more  TLDI 2003»
14 years 1 months ago
Typed compilation of recursive datatypes
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...
Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, K...
ICFP
1999
ACM
14 years 29 days ago
Type Inference Builds a Short Cut to Deforestation
Deforestation optimises a functional program by transforming it into another one that does not create certain intermediate data structures. Short cut deforestation is a deforestat...
Olaf Chitil
TKDE
2012
194views Formal Methods» more  TKDE 2012»
11 years 11 months ago
A Query Formulation Language for the Data Web
— We present a query formulation language (called MashQL) in order to easily query and fuse structured data on the web. The main novelty of MashQL is that it allows people with l...
Mustafa Jarrar, Marios D. Dikaiakos