Sciweavers

262 search results - page 30 / 53
» Hybrid Constraints in Automated Model Synthesis and Model Pr...
Sort
View
ISQED
2003
IEEE
119views Hardware» more  ISQED 2003»
15 years 9 months ago
System and Framework for QA of Process Design Kits
In this paper, we evaluate the dependencies between tools, data and environment in process design kits, and present a framework for systematically analyzing the quality of the des...
M. C. Scott, M. O. Peralta, Jo Dale Carothers
DKE
2007
199views more  DKE 2007»
15 years 3 months ago
QMatch - Using paths to match XML schemas
Integration of multiple heterogeneous data sources continues to be a critical problem for many application domains and a challenge for researchers world-wide. With the increasing ...
Naiyana Tansalarak, Kajal T. Claypool
122
Voted
SPLC
2008
15 years 5 months ago
Reconciling Automation and Flexibility in Product Derivation
Product derivation, i.e. reusing core assets to build products, did not receive sufficient attention from the productline community, yielding a frustrating situation. On the one h...
Gilles Perrouin, Jacques Klein, Nicolas Guelfi, Je...
128
Voted
ECAI
2006
Springer
15 years 7 months ago
Automatic Generation of Implied Constraints
Abstract. A well-known difficulty with solving Constraint Satisfaction Problems (CSPs) is that, while one formulation of a CSP may enable a solver to solve it quickly, a different ...
John Charnley, Simon Colton, Ian Miguel
CIE
2004
Springer
15 years 3 months ago
Automating Lighting Design for Interactive Entertainment
Recent advances in computer graphics, particularly in real-time rendering, have caused major improvements in 3D graphics and rendering techniques used in interactive entertainment...
Magy Seif El-Nasr, Ian Horswill