Sciweavers

549 search results - page 22 / 110
» formats 2010
Sort
View
67
Voted
FORMATS
2010
Springer
14 years 7 months ago
Safraless Procedures for Timed Specifications
This paper presents extensions of Safraless algorithms proposed in the literature for automata on infinite untimed words to the case of automata on infinite timed words.
Barbara Di Giampaolo, Gilles Geeraerts, Jean-Fran&...
49
Voted
KES
2010
Springer
14 years 8 months ago
Improving Communication Using 3D Animation
This paper presents a high level view of a project which aims at improving the communication between people who do not share the same language by using a 3D animation upper layer t...
Laurent Ruhlmann, Benoît Ozell, Michel Gagno...
TVCG
2010
197views more  TVCG 2010»
14 years 8 months ago
High-Dynamic-Range Texture Compression for Rendering Systems of Different Capacities
—In this paper, we propose a novel approach for high-dynamic-range (HDR) texture compression (TC) suitable for rendering systems of different capacities. Based on the previously ...
Wen Sun, Yan Lu, Feng Wu, Shipeng Li, John Tardif
LREC
2010
152views Education» more  LREC 2010»
14 years 11 months ago
ANC2Go: A Web Application for Customized Corpus Creation
We describe a web application called "ANC2Go" that enables the user to select data from the Open American National Corpus (OANC) and the Manually Annotated Sub-corpus (M...
Nancy Ide, Keith Suderman, Brian Simms
ICIP
2010
IEEE
14 years 7 months ago
Super-resolution for multiview images using depth information
The joint usage of low
Diogo C. Garcia, Camilo C. Dorea, Ricardo L. de Qu...