Sciweavers

456 search results - page 45 / 92
» Extending Problem Frames to deal with stakeholder problems
Sort
View
FIW
2007
123views Communications» more  FIW 2007»
15 years 1 months ago
Composing Features by Managing Inconsistent Requirements
Abstract. One approach to system development is to decompose the requirements into features and specify the individual features before composing them. A major limitation of deferri...
Robin C. Laney, Thein Than Tun, Michael Jackson, B...
VMV
2003
173views Visualization» more  VMV 2003»
15 years 1 months ago
Improved Hardware-Accelerated Visual Hull Rendering
The visual hull is an efficient shape approximation for the purpose of reconstructing and visualizing dynamic objects. Recently, rapid progress in graphics hardware development h...
Ming Li, Marcus A. Magnor, Hans-Peter Seidel
MR
2008
88views Robotics» more  MR 2008»
14 years 11 months ago
Characterization of semiconductor interfaces using a modified mixed mode bending apparatus
This research deals with the experimental assessment of the strength of bi-material interfaces as a function of mode mixity, focusing on two dimensional problems. A modified mixed...
J. Thijsse, Olaf van der Sluis, J. A. W. van Domme...
TACAS
2010
Springer
255views Algorithms» more  TACAS 2010»
14 years 9 months ago
Satisfiability Modulo the Theory of Costs: Foundations and Applications
Abstract. We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and ...
Alessandro Cimatti, Anders Franzén, Alberto...
CVPR
2011
IEEE
14 years 8 months ago
Particle Filter with State Permutations for Solving Image Jigsaw Puzzles
We deal with an image jigsaw puzzle problem, which is defined as reconstructing an image from a set of square and non-overlapping image patches. It is known that a general instan...
Xingwei Yang, Nagesh Adluru, LonginJan Latecki