4140 search results - page 67 / 828 » A Use Case Based Approach to Feature Models' Construction |
116
click to vote
AEI
2010
15 years 1 months ago
2010
The planning and management of supply chains require properly specifying the participating members and the relationships among them. Construction supply chains usually consist of n...
122
click to vote
SDL
2007
15 years 2 months ago
2007
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. S...
128
click to vote
DAC
1997
ACM
15 years 5 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
111
click to vote
ECCV
2000
Springer
16 years 3 months ago
2000
Springer
In principle, the recovery and reconstruction of a 3D object from its 2D view projections require the parameterisation of its shape structure and surface re ectance properties. Exp...
119
click to vote
CGO
2009
IEEE
15 years 8 months ago
2009
IEEE
Recent work has shown that machine learning can automate and in some cases outperform hand crafted compiler optimizations. Central to such an approach is that machine learning tec...