Sciweavers

269 search results - page 25 / 54
» Data-Intensive Computing and Digital Libraries
Sort
View
DDEP
2000
Springer
15 years 4 months ago
Context-Aware Digital Documents Described in a High-Level Petri Net-Based Hypermedia System
As mobile computing becomes widespread, so will the need for digital document delivery by hypertextual means. A further trend will be the provision of the ability for devices to de...
Jin-Cheon Na, Richard Furuta
CODES
2007
IEEE
15 years 3 months ago
A computational reflection mechanism to support platform debugging in SystemC
System-level and Platform-based design, along with Transaction Level modeling (TLM) techniques and languages like SystemC, appeared as a response to the ever increasing complexity...
Bruno Albertini, Sandro Rigo, Guido Araujo, Cristi...
CG
2004
Springer
14 years 11 months ago
User interface development for interactive television: extending a commercial DTV platform to the virtual channel API
We explore the generation of interactive computer graphics at digital set-top boxes in place of the fixed graphics that were embedded to the television video before the broadcast....
Konstantinos Chorianopoulos, Diomidis Spinellis
FLOPS
2008
Springer
15 years 1 months ago
Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base
In this paper we describe some certified algorithms for exact real arithmetic based on co-recursion. Our work is based on previous experiences using redundant digits of base 2 but ...
Nicolas Julien
TOG
2012
171views Communications» more  TOG 2012»
13 years 2 months ago
HelpingHand: example-based stroke stylization
Digital painters commonly use a tablet and stylus to drive software like Adobe Photoshop. A high quality stylus with 6 degrees of freedom (DOFs: 2D position, pressure, 2D tilt, an...
Jingwan Lu, Fisher Yu, Adam Finkelstein, Stephen D...