Sciweavers

319 search results - page 38 / 64
» Juzi: a tool for repairing complex data structures
Sort
View
90
Voted
ENTER
2006
Springer
15 years 1 months ago
From Information Behaviour of Independent Travellers to Requirements for Information Systems
The complexity and dynamic nature of travelling offers many opportunities for technological support. But printed guidebooks remain the typical companion, despite many weaknesses. ...
Marco Prestipino
CL
2004
Springer
14 years 9 months ago
Nesting analysis of mobile ambients
A new algorithm is introduced for analyzing possible nestings in mobile ambient calculus. It improves both time and space complexities of the technique proposed by Nielson and Sei...
Chiara Braghin, Agostino Cortesi, Riccardo Focardi...
SOCO
2009
Springer
15 years 4 months ago
A Framework for Testing Model Composition Engines
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researche...
Freddy Munoz, Benoit Baudry
IV
2006
IEEE
96views Visualization» more  IV 2006»
15 years 3 months ago
Interactive, Task-Oriented Visualizations to Explore Decay Chain Calculation
Most applications in physical calculations provide powerful multivariate outputs but use rather simple visual representations (diagrams) without the possibilities to explore the r...
Martin Eller, Silvia Miksch, Jacques Lettry
CGA
1998
14 years 9 months ago
Verbs and Adverbs: Multidimensional Motion Interpolation
This paper describes methods and data structures used to leverage motion sequences of complex linked figures. We present a technique for interpolating between example motions der...
Charles Rose, Michael F. Cohen, Bobby Bodenheimer