Sciweavers

282 search results - page 27 / 57
» Jumping Contexts of Space and Time
Sort
View
ICMCS
2005
IEEE
91views Multimedia» more  ICMCS 2005»
14 years 1 months ago
An Intuitive Graphic Environment for Navigation and Classification of Multimedia Documents
In this work we propose an intuitive graphic framework for the effective visualization of MPEG-7 low-level features, in the context of classification and annotation of audio-visu...
Marco Campanella, Riccardo Leonardi, Pierangelo Mi...
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
14 years 3 days ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
TOG
2008
125views more  TOG 2008»
13 years 7 months ago
Factoring repeated content within and among images
We reduce transmission bandwidth and memory space for images by factoring their repeated content. A transform map and a condensed epitome are created such that all image blocks ca...
Huamin Wang, Yonatan Wexler, Eyal Ofek, Hugues Hop...
C5
2003
IEEE
14 years 1 months ago
Croquet - A Collaboration System Architecture
1 Croquet [18] is a computer software architecture built from the ground up with a focus on deep collaboration between teams of users. It is a totally open, totally free, highly p...
David A. Smith, Alan C. Kay, Andreas Raab, David P...
APVIS
2010
13 years 9 months ago
Stack zooming for multi-focus interaction in time-series data visualization
Information visualization shows tremendous potential for helping both expert and casual users alike make sense of temporal data, but current time series visualization tools provid...
Waqas Javed, Niklas Elmqvist