10285 search results - page 52 / 2057 » Composing Feature Models |
132
click to vote
DFG
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
194
Voted
CVPR
2009
IEEE
16 years 9 months ago
2009
IEEE
Airborne LiDAR technology draws increasing interest in
large-scale 3D urban modeling in recent years. 3D Li-
DAR data typically has no texture information. To generate
photo-rea...
143
click to vote
ICIP
2007
IEEE
16 years 4 months ago
2007
IEEE
This paper describes an original method for classifying object motion trajectories in video sequences in order to recognize dynamic events. Similarities between trajectories are e...
ECCV
2010
Springer
15 years 6 months ago
2010
Springer
This paper presents a method for learning artistic portrait lighting template from a dataset of artistic and daily portrait photographs. The learned template can be used for (1) cl...
131
Voted
FASE
2007
Springer
15 years 8 months ago
2007
Springer
We use 63 features extracted from sources such as versioning and issue tracking systems to predict defects in short time frames of two months. Our multivariate approach covers aspe...