Sciweavers

432 search results - page 32 / 87
» A Formal Reuse-Based Approach for Interactively Designing Or...
Sort
View
IV
2005
IEEE
105views Visualization» more  IV 2005»
14 years 2 months ago
Learnability of Interactive Coordinated-View Visualizations
This paper examines the Human Computer Interaction issue of learnability of interactive coordinated-view visualizations. We take the case of DataMaps, a Census data visualization ...
Sujatha Krishnamoorthy, Christopher North
CHI
2008
ACM
14 years 9 months ago
Information spaces - building meeting rooms in virtual environments
Virtual worlds are typically designed to recreate the familiar physical world, both in the design of the spaces and the ways that people interact within them. In this paper we des...
Drew Harry, Judith S. Donath
EDBT
2009
ACM
145views Database» more  EDBT 2009»
14 years 17 days ago
Interactive query refinement
We investigate the problem of refining SQL queries to satisfy cardinality constraints on the query result. This has applications to the many/few answers problems often faced by da...
Chaitanya Mishra, Nick Koudas
MEMOCODE
2007
IEEE
14 years 3 months ago
Towards Equivalence Checking Between TLM and RTL Models
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
Nicola Bombieri, Franco Fummi, Graziano Pravadelli...
DAGSTUHL
2006
13 years 10 months ago
An Algorithm for Matching Nondeterministic Services with Operating Guidelines
Interorganizational cooperation is more and more organized by the paradigm of services. Service-oriented architectures (SOA) provide a general framework for service interaction. SO...
Peter Massuthe, Karsten Wolf