7253 search results - page 467 / 1451 » Agile Performance Testing |
183
click to vote
DAM
2006
15 years 7 months ago
2006
Abstract. Computing a maximum weighted stable set in a bipartite graph is considered wellsolved and usually approached with preflow-push, Ford-Fulkerson or network simplex algorith...
199
click to vote
IJFCS
2008
15 years 7 months ago
2008
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...
162
click to vote
IPM
2008
15 years 7 months ago
2008
This paper examines the estimation of global term weights (such as IDF) in information retrieval scenarios where a global view on the collection is not available. In particular, t...
164
click to vote
JIPS
2008
15 years 7 months ago
2008
: This paper deals with the geometric fitting algorithms for parametric curves and surfaces in 2-D/3-D space, which estimate the curve/surface parameters by minimizing the square s...
167
click to vote
IVC
2006
15 years 7 months ago
2006
The Multi-Sector Algorithm (MSA) is a simplification of the CORDIC algorithm to more closely meet the requirements for a real-time general Hough transform applications. The MSA ca...