4140 search results - page 647 / 828 » A Use Case Based Approach to Feature Models' Construction |
187
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
187
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
We address the problem of segmenting 3D scan data into objects or object classes. Our segmentation framework is based on a subclass of Markov Random Fields (MRFs) which support ef...
180
click to vote
MOBICOM
2006
ACM
16 years 7 days ago
2006
ACM
Characterizing mobility or contact patterns in a campus environment is of interest for a variety of reasons. Existing studies of these patterns can be classified into two basic a...
181
Voted
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Image parsing remains difficult due to the need to combine
local and contextual information when labeling a
scene. We approach this problem by using the epitome as a
prior over ...
155
click to vote
WOSP
2010
ACM
16 years 1 months ago
2010
ACM
We propose a model-based methodology to size and plan enterprise applications under Service Level Agreements (SLAs). Our approach is illustrated using a real-world Enterprise Reso...