Sciweavers

2565 search results - page 48 / 513
» Object type constructors
Sort
View
POPL
1999
ACM
14 years 1 months ago
Type-Safe Linking and Modular Assembly Language
Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web browsers and other extensible systems depends cru...
Neal Glew, J. Gregory Morrisett
ISMAR
2007
IEEE
14 years 3 months ago
Evaluating Display Types for AR Selection and Annotation
This paper evaluates different display devices for selection or annotation tasks in augmented reality (AR). We compare three different display types – a head mounted display and...
Jason Wither, Stephen DiVerdi, Tobias Höllere...
ACSC
2004
IEEE
14 years 18 days ago
Strength Reduction for Loop-Invariant Types
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...
Phung Hua Nguyen, Jingling Xue
PCM
2007
Springer
112views Multimedia» more  PCM 2007»
14 years 2 months ago
Efficient Segment Based Streaming Media Transcoding Proxy for Various Types of Mobile Devices
Streaming media has contributed to a significant amount of today’s Internet Traffic. One solution of to solve this problems is using streaming proxy. There are two categories in ...
Yoohyun Park, Yong-Ju Lee, Hag-Young Kim, Kyongsok...
IJRR
2002
107views more  IJRR 2002»
13 years 8 months ago
Design of a Parallel-Type Gripper Mechanism
A new parallel-type gripper mechanism is proposed in this work. This device has a parallelogramic platform that can be flexibly folded. Therefore, this mechanism not only can be u...
Byung-Ju Yi, Heung Yeol Na, Jae Hoon Lee, Yeh-Sun ...