Sciweavers

1407 search results - page 148 / 282
» Towards Usable Analysis, Design and Modeling Tools
Sort
View
IVS
2007
100views more  IVS 2007»
15 years 6 months ago
NetLens: iterative exploration of content-actor network data
Networks have remained a challenge for information retrieval and visualization because of the rich set of tasks that users want to accomplish. This paper n abstract Content-Actor ...
Hyunmo Kang, Catherine Plaisant, Bongshin Lee, Ben...
CCE
2004
15 years 6 months ago
Workflow and information centered support of design processes - the IMPROVE perspective
Design process excellence is considered a major differentiating factor between competing enterprises since it determines the constraints within which plant operation and supply ch...
Wolfgang Marquardt, Manfred Nagl
ACSD
2001
IEEE
74views Hardware» more  ACSD 2001»
15 years 10 months ago
From Code to Models
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
Gerard J. Holzmann
TVCG
2008
148views more  TVCG 2008»
15 years 6 months ago
Globally Optimal Surface Mapping for Surfaces with Arbitrary Topology
Computing smooth and optimal one-to-one maps between surfaces of same topology is a fundamental problem in graphics and such a method provides us a ubiquitous tool for geometric mo...
Xin Li, Yunfan Bao, Xiaohu Guo, Miao Jin, Xianfeng...
FMICS
2006
Springer
15 years 10 months ago
Verified Design of an Automated Parking Garage
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...
Aad Mathijssen, A. Johannes Pretorius