Sciweavers

3128 search results - page 499 / 626
» Finite element method
Sort
View
BNT
1997
15 years 5 months ago
Packets or ports: the decisions of IP switching
One of the most important network elements in the Internet are the routers which do relaying of IP packets. Because of growth of the Internet routers currently experience serious ...
Mika Ilvesmäki, Kalevi Kilkki, Marko Luoma
VMV
2007
118views Visualization» more  VMV 2007»
15 years 5 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...
FMICS
2010
Springer
15 years 5 months ago
SMT-Based Formal Verification of a TTEthernet Synchronization Function
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
Wilfried Steiner, Bruno Dutertre
DEXA
2010
Springer
319views Database» more  DEXA 2010»
15 years 4 months ago
An Efficient Similarity Join Algorithm with Cosine Similarity Predicate
Given a large collection of objects, finding all pairs of similar objects, namely similarity join, is widely used to solve various problems in many application domains.Computation ...
Dongjoo Lee, Jaehui Park, Junho Shim, Sang-goo Lee
ALGORITHMICA
2007
145views more  ALGORITHMICA 2007»
15 years 4 months ago
Counting Integer Points in Parametric Polytopes Using Barvinok's Rational Functions
Abstract Many compiler optimization techniques depend on the ability to calculate the number of elements that satisfy certain conditions. If these conditions can be represented by ...
Sven Verdoolaege, Rachid Seghir, Kristof Beyls, Vi...