Sciweavers

1501 search results - page 235 / 301
» New Directions on Agile Methods: A Comparative Analysis
Sort
View
ICIP
2003
IEEE
15 years 11 months ago
On the Rayleigh nature of Gabor filter outputs
Texture has been recognized as an important visual primitive in image analysis. A widely used texture descriptor, which is part of the MPEG-7 standard, is that computed using mult...
Sitaram Bhagavathy, Jelena Tesic, B. S. Manjunath
PEPM
2009
ACM
15 years 6 months ago
Guided model checking for programs with polymorphism
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
Neha Rungta, Eric G. Mercer
CP
2007
Springer
15 years 1 months ago
Efficient Computation of Minimal Point Algebra Constraints by Metagraph Closure
Abstract. Computing the minimal network (or minimal CSP) representation of a given set of constraints over the Point Algebra (PA) is a fundamental reasoning problem. In this paper ...
Alfonso Gerevini, Alessandro Saetti
BIBE
2004
IEEE
15 years 1 months ago
Phylogenetic Reconstruction from Arbitrary Gene-Order Data
Phylogenetic reconstruction from gene-order data has attracted attention from both biologists and computer scientists over the last few years. So far, our software suite GRAPPA is...
Jijun Tang, Bernard M. E. Moret, Liying Cui, Claud...
ASPDAC
2008
ACM
174views Hardware» more  ASPDAC 2008»
14 years 12 months ago
Chebyshev Affine Arithmetic based parametric yield prediction under limited descriptions of uncertainty
In modern circuit design, it is difficult to provide reliable parametric yield prediction since the real distribution of process data is hard to measure. Most existing approaches ...
Jin Sun, Yue Huang, Jun Li, Janet Meiling Wang