Sciweavers

8154 search results - page 1479 / 1631
» Understanding changes in use cases: A case study
Sort
View
BMCBI
2005
82views more  BMCBI 2005»
15 years 6 months ago
Quality assessment of microarrays: Visualization of spatial artifacts and quantitation of regional biases
Background: Quality-control is an important issue in the analysis of gene expression microarrays. One type of problem is regional bias, in which one region of a chip shows artifac...
Mark Reimers, John N. Weinstein
JAR
1998
134views more  JAR 1998»
15 years 6 months ago
Integrating Computer Algebra into Proof Planning
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
Manfred Kerber, Michael Kohlhase, Volker Sorge
TJS
2002
160views more  TJS 2002»
15 years 6 months ago
Adaptive Optimizing Compilers for the 21st Century
Historically, compilers have operated by applying a fixed set of optimizations in a predetermined order. We call such an ordered list of optimizations a compilation sequence. This...
Keith D. Cooper, Devika Subramanian, Linda Torczon
TMM
2002
130views more  TMM 2002»
15 years 6 months ago
Computable scenes and structures in films
In this paper, we present a computational scene model and also derive novel algorithms for computing audio and visual scenes and within-scene structures in films. We use constraint...
Hari Sundaram, Shih-Fu Chang
ICCV
2009
IEEE
15 years 4 months ago
BLOGS: Balanced local and global search for non-degenerate two view epipolar geometry
This work considers the problem of estimating the epipolar geometry between two cameras without needing a prespecified set of correspondences. It is capable of resolving the epipo...
Aveek S. Brahmachari, Sudeep Sarkar
« Prev « First page 1479 / 1631 Last » Next »