8828 search results - page 400 / 1766 » Formal methods in practice |
162
click to vote
DSP
2006
15 years 6 months ago
2006
In this paper we describe a method for simultaneously estimating the direction of arrival (DOA) of the signal along with its unknown frequency. In a typical DOA estimation problem...
186
Voted
BMVC
2010
15 years 4 months ago
2010
Image auto-annotation is a challenging task in computer vision. The goal of this task is to predict multiple words for generic images automatically. Recent state-of-theart methods...
189
Voted
HCI
2009
15 years 4 months ago
2009
Due to its convenient, low physical restraint, and electric noise tolerant features, functional near-infrared spectroscopy (fNIRS) is expected to be a useful tool in monitoring use...
134
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
Computer assistance for breast conserving surgery requires a guidance method to assist a surgeon in locating tumor margin accurately. A wide array of guidance methods can be consid...
150
click to vote
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
Agile software development methods have caught the attention of software engineers and researchers worldwide. Scientific research is yet scarce. This paper reports results from a ...