3554 search results - page 241 / 711 » Estimating software based on use case points |
156
click to vote
CAV
2005
Springer
15 years 11 months 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...
151
Voted
NSDI
2007
15 years 7 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...
165
click to vote
CVPR
2009
IEEE
17 years 20 days 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 ...
142
click to vote
ICASSP
2009
IEEE
16 years 9 days 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...
139
click to vote
WCRE
2000
IEEE
15 years 10 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 ...