4140 search results - page 581 / 828 » A Use Case Based Approach to Feature Models' Construction |
173
click to vote
TPHOL
2007
IEEE
16 years 23 days ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
300
click to vote
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
The proliferation of knowledge-sharing communities and the advances in information extraction have enabled the construction of large knowledge bases using the RDF data model to re...
160
click to vote
ICSOC
2007
Springer
16 years 19 days ago
2007
Springer
Workflow technology is an emerging paradigm for systematic modeling and orchestration of job flow for enterprise and scientific applications. This paper introduces BPEL4Job, a BPEL...
191
click to vote
ECCV
2000
Springer
15 years 10 months ago
2000
Springer
Factorization using Singular Value Decomposition (SVD) is often used for recovering 3D shape and motion from feature correspondences across multiple views. SVD is powerful at find...
155
click to vote
ISPD
2006
ACM
16 years 13 days ago
2006
ACM
The existing decoupling capacitance optimization approaches meet constraints on input impedance for package. In this paper, we show that using impedance as constraints leads to la...