Sciweavers

2105 search results - page 350 / 421
» Decoupling in Object Orientation
Sort
View
AOSD
2010
ACM
15 years 1 months ago
An architecture for composing embedded domain-specific languages
Embedded domain-specific languages (EDSLs) are said to be easier to compose than DSLs that are implemented by preprocessors. However, existing approaches focus on composition scen...
Tom Dinkelaker, Michael Eichberg, Mira Mezini
CVPR
2010
IEEE
15 years 1 months ago
Fast directional chamfer matching
We study the object localization problem in images given a single hand-drawn example or a gallery of shapes as the object model. Although many shape matching algorithms have been ...
Ming-Yu Liu, Oncel Tuzel, Ashok Veeraraghavan, Ram...
CGF
2010
101views more  CGF 2010»
15 years 1 months ago
High Fidelity Scan Merging
For each scanned object 3D triangulation laser scanners deliver multiple sweeps corresponding to multiple laser motions and orientations. The problem of aligning these scans has b...
J. Digne, J.-M. Morel, N. Audfray, C. Lartigue
ENTCS
2006
125views more  ENTCS 2006»
15 years 1 months ago
An Even Closer Integration of Linear Arithmetic into Inductive Theorem Proving
To broaden the scope of decision procedures for linear arithmetic, they have to be integrated into theorem provers. Successful approaches e.g. in NQTHM or ACL2 suggest a close int...
Tobias Schmidt-Samoa
PRESENCE
2008
98views more  PRESENCE 2008»
15 years 1 months ago
A High-End Virtual Reality Setup for the Study of Mental Rotations
Mental rotation is the capacity to predict the orientation of an object or the layout of a scene after a change in viewpoint. Previous studies have shown that the cognitive cost o...
Alexandre Lehmann, Manuel Vidal, Heinrich H. B&uum...