6020 search results - page 59 / 1204 » A New Approach to Model Counting |
129
Voted
KBSE
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper describes a new approach to visualization of scenarios within the use case-based engineering of functional requirements – the so-called Video Camera metaphor. The Vid...
157
Voted
ICIP
2002
IEEE
16 years 5 months ago
2002
IEEE
In this paper, we present a new and robust shape descriptor, which can be efficiently used to quickly prune a search for similar shapes in a large image database. The proposed sha...
142
Voted
TSP
2011
14 years 10 months ago
2011
—Detection of the number of sinusoids embedded in noise is a fundamental problem in statistical signal processing. Most parametric methods minimize the sum of a data fit (likeli...
115
Voted
MICCAI
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Integration of magnetic resonance (MR) and positron emission tomography (PET) images of the heart has proved its usefulness for the estimation of the myocardial viability...
119
Voted
CAD
2005
Springer
15 years 3 months ago
2005
Springer
Current methods for recognition and interpretation of architectural drawings are limited to either low-level analysis of paper drawings or interpretation of electronic drawings th...