Sciweavers

530 search results - page 49 / 106
» Structural and Complexity Aspects of Line Systems of Graphs
Sort
View
ICECCS
2005
IEEE
73views Hardware» more  ICECCS 2005»
15 years 7 months ago
Integrating Object-Z with Timed Automata
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...
Jin Song Dong, Roger Duke, Ping Hao
TAP
2008
Springer
102views Hardware» more  TAP 2008»
15 years 1 months ago
Visualizing graphs in three dimensions
It has been known for some time that larger graphs can be interpreted if laid out in 3D and displayed with stereo and/or motion depth cues to support spatial perception. However, ...
Colin Ware, Peter Mitchell
VLDB
2004
ACM
106views Database» more  VLDB 2004»
15 years 7 months ago
Structures, Semantics and Statistics
At a fundamental level, the key challenge in data integration is to reconcile the semantics of disparate data sets, each expressed with a different database structure. I argue th...
Alon Y. Halevy
VRST
2006
ACM
15 years 8 months ago
Spatial input device structure and bimanual object manipulation in virtual environments
Complex 3D interaction tasks require the manipulation of a large number of input parameters. Spatial input devices can be constructed such that their structure reflects the task ...
Arjen van Rhijn, Jurriaan D. Mulder
COMPGEOM
2010
ACM
15 years 7 months ago
Output-sensitive algorithm for the edge-width of an embedded graph
Let G be an unweighted graph of complexity n cellularly embedded in a surface (orientable or not) of genus g. We describe improved algorithms to compute (the length of) a shortest...
Sergio Cabello, Éric Colin de Verdiè...