Sciweavers

269 search results - page 25 / 54
» Data-Intensive Computing and Digital Libraries
Sort
View
DDEP
2000
Springer
15 years 1 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 1 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...
77
Voted
CG
2004
Springer
14 years 9 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
14 years 11 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»
12 years 12 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...