Sciweavers

196 search results - page 26 / 40
» Supporting OO Design Heuristics
Sort
View
TVCG
2010
217views more  TVCG 2010»
13 years 8 months ago
How Information Visualization Novices Construct Visualizations
—It remains challenging for information visualization novices to rapidly construct visualizations during exploratory data analysis. We conducted an exploratory laboratory study i...
Lars Grammel, Melanie Tory, Margaret-Anne D. Store...
ATAL
2010
Springer
13 years 10 months ago
Virtual world grammar
Hybrid systems such as those that combine 3D virtual worlds and organization based multiagent systems add new visual and communication features for multi-user applications. The des...
Tomas Trescak, Marc Esteva, Inmaculada Rodrí...
CADE
2007
Springer
14 years 10 months ago
Solving Quantified Verification Conditions Using Satisfiability Modulo Theories
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...
Yeting Ge, Clark Barrett, Cesare Tinelli
SAC
2005
ACM
14 years 3 months ago
Intelligent file management in ubiquitous environments
The paradigm of Ubiquitous computing seeks to build a computing environment that responds to user context. An ideal file system for the Ubiquitous environment is one that can succ...
Kartik Vishwanath, Arvind Gautam, Yugyung Lee
TRECVID
2007
13 years 11 months ago
TRECVID 2007 High Level Feature Extraction experiments at JOANNEUM RESEARCH
This paper describes our experiments for the high level feature extraction task in TRECVid 2007. We submitted the following five runs: • A jr1 1: Baseline run using early fusio...
Roland Mörzinger, Georg Thallinger