4140 search results - page 572 / 828 » A Use Case Based Approach to Feature Models' Construction |
153
click to vote
TACAS
2007
Springer
16 years 18 days ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
186
click to vote
IJCNN
2000
IEEE
15 years 11 months ago
2000
IEEE
The main aim of this paper is to develop a suitable regression analysis model for describing the relationship between the index efficiency and the parameters of the Rival Penaliz...
223
click to vote
SIGIR
2002
ACM
15 years 6 months ago
2002
ACM
tion Abstract ChengXiang Zhai (Advisor: John Lafferty) Language Technologies Institute School of Computer Science Carnegie Mellon University With the dramatic increase in online in...
185
click to vote
BMVC
2010
15 years 4 months ago
2010
Accurate intrinsic camera calibration is essential to any computer vision task that involves image based measurements. Given its crucial role with respect to precision, a large nu...
228
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
In this work, we propose to use attributes and parts for recognizing human actions in still images. We define action attributes as the verbs that describe the properties of human...