Sciweavers

4636 search results - page 727 / 928
» Modelling and Validation with VipTool
Sort
View
VMV
2007
118views Visualization» more  VMV 2007»
13 years 10 months ago
Interactive Model-based Image Registration
We present an interactive technique for the registration of captured images of elastic and rigid body parts in which the user is given flexible control over material specific de...
Thomas Schiwietz, Joachim Georgii, Rüdiger We...
CDC
2009
IEEE
164views Control Systems» more  CDC 2009»
13 years 10 months ago
Kalman filter based estimation of flow states in open channels using Lagrangian sensing
In this article, we investigate real-time estimation of flow states, average velocity and stage (water depth), in open channels using the measurements obtained from Lagrangian sens...
Mohammad Rafiee, Qingfang Wu, Alexandre M. Bayen
EUROPAR
2010
Springer
13 years 10 months ago
Estimating and Exploiting Potential Parallelism by Source-Level Dependence Profiling
Manual parallelization of programs is known to be difficult and error-prone, and there are currently few ways to measure the amount of potential parallelism in the original sequent...
Jonathan Mak, Karl-Filip Faxén, Sverker Jan...
GG
2010
Springer
13 years 10 months ago
Multi-Amalgamation in Adhesive Categories
Abstract. Amalgamation is a well-known concept for graph transformations in order to model synchronized parallelism of rules with shared subrules and corresponding transformations....
Ulrike Golas, Hartmut Ehrig, Annegret Habel
MOBIDE
2010
ACM
13 years 9 months ago
A cooperative spatial-aware cache for mobile environments
In many scenarios, particularly in military and emergency response operations, mobile nodes that are in close proximity to each other exhibit a high degree of data affinity. For ex...
Fernando J. Maymi, Manuel Rodriguez-Martinez, Wolf...