Sciweavers

2497 search results - page 309 / 500
» Requirements for models of achievable routing
Sort
View
VAMOS
2010
Springer
15 years 8 months ago
Automating the Configuration of Multi Software Product Lines
The increased use of software product lines (SPLs) results in complex software systems in which products of multiple SPLs communicate and interact with each other. Such a system of...
Marko Rosenmüller, Norbert Siegmund
AAAI
2006
15 years 8 months ago
A Quadratic Propagator for the Inter-Distance Constraint
We present a new propagator achieving bound consistency for the INTER-DISTANCE constraint. This constraint ensures that, among a set of variables X1, . . . , Xn, the difference be...
Claude-Guy Quimper, Alejandro López-Ortiz, ...
CARS
2004
15 years 8 months ago
Navigation system for ACL reconstruction using registration between multi-viewpoint X-ray images and CT images
A high-precision navigation system for Anterior Cruciate Ligament(ACL) reconstruction surgery is presented. In this system, 3D CT data is used to visualize the structure of bones a...
Mamoru Kuga, Kazunori Yasuda, Nobuhiko Hata, Takey...
DAGSTUHL
2004
15 years 8 months ago
Towards an Engineering Approach to Component Adaptation
Abstract. Component adaptation needs to be taken into account when developing trustworthy systems, where the properties of component assemblies have to be reliably obtained from th...
Steffen Becker, Antonio Brogi, Ian Gorton, Sven Ov...
CSC
2006
15 years 8 months ago
Developing Efficient Option Pricing Algorithms by Combinatorial Techniques
How to price options efficiently and accurately is an important research problem. Options can be priced by the lattice model. Although the pricing results converge to the theoreti...
Tian-Shyr Dai, Yuh-Dauh Lyuu, Li-min Liu