3554 search results - page 241 / 711 » Estimating software based on use case points |
175
click to vote
CAV
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...
182
click to vote
NSDI
2007
15 years 9 months ago
2007
: The physical locations of clients and access points in a wireless LAN may have a large impact on network performance. However, today’s WLAN management tools do not provide info...
182
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
We present an approach for recovering the reflectance
of a static scene with known geometry from a collection of
images taken under distant, unknown illumination. In con-
trast ...
159
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we propose a nonparametric hypothesis test for stationarity based on local Fourier analysis. We employ a test statistic that measures the variation of time-localized...
158
Voted
WCRE
2000
IEEE
15 years 11 months ago
2000
IEEE
We show how hypertext-based program understanding tools eve new levels of abstraction by using inferred type information for cases where the subject software system is written in ...