Sciweavers

318 search results - page 37 / 64
» On the equivalence of linear complementarity problems
Sort
View
ICST
2008
IEEE
14 years 2 months ago
Efficient Test Data Generation for Variables with Complex Dependencies
This paper introduces a new method for generating test data that combines the benefits of equivalence partitioning, boundary value analysis and cause-effect analysis. It is suitab...
Armin Beer, Stefan Mohacsi
DBPL
2007
Springer
83views Database» more  DBPL 2007»
14 years 1 months ago
Succinctness of Pattern-Based Schema Languages for XML
Martens et al. defined a pattern-based specification language equivalent in expressive power to the widely adopted XML Schema definitions (XSDs). This language consists of rules...
Wouter Gelade, Frank Neven
ICCAD
1996
IEEE
80views Hardware» more  ICCAD 1996»
13 years 11 months ago
Generalized constraint generation in the presence of non-deterministic parasitics
In a constraint-drivenlayout synthesisenvironment,parasitic constraints are generated and implemented in each phase of the design process to meet a given set of performance specif...
Edoardo Charbon, Paolo Miliozzi, Enrico Malavasi, ...
CCCG
2009
13 years 8 months ago
Clarkson's Algorithm for Violator Spaces
Clarkson's algorithm is a two-staged randomized algorithm for solving linear programs, but it can also be applied to the more general LP-type problems which comprise a number...
Yves Brise, Bernd Gärtner
ECCV
2002
Springer
14 years 9 months ago
Constructing Illumination Image Basis from Object Motion
We propose to construct a 3D linear image basis which spans an image space of arbitrary illumination conditions, from images of a moving object observed under a static lighting con...
Akiko Nakashima, Atsuto Maki, Kazuhiro Fukui