Sciweavers

2565 search results - page 200 / 513
» Object type constructors
Sort
View
HASKELL
2007
ACM
14 years 1 months ago
A type-preserving closure conversion in haskell
The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify...
Louis-Julien Guillemette, Stefan Monnier
CHI
2002
ACM
14 years 9 months ago
The KITE geometry manipulator
We introduce a new geometry manipulator, a tool for 2D geometrical object manipulations in drawing packages. The manipulator is an extended combination of two standard approaches....
Sviataslau Pranovich, Jarke J. van Wijk, Kees van ...
HAPTICS
2007
IEEE
14 years 3 months ago
Improvement of Shape Distinction by Kinesthetic-Tactile Integration
The sensation of touch is divided into kinesthetic and tactile sensation. It is important for a touch sensation device to present both types of sensations. We mounted an electrota...
Katsunari Sato, Hiroyuki Kajimoto, Naoki Kawakami,...
COMPGEOM
2010
ACM
14 years 2 months ago
Visualizing 3D Euler spirals
This video describes a new type of 3D curves, which generalizes the family of 2D Euler spirals. They are defined as the curves having both their curvature and their torsion evolv...
Gur Harary, Ayellet Tal
FLAIRS
2000
13 years 10 months ago
The Degradation of Knowledge Base Integrity
In a unified knowledge representation data, information and knowledge are all represented in a single formalism as "items". Objects are item building operators. Items an...
John K. Debenham