2940 search results - page 75 / 588 » Relational Parametricity and Control |
IEEECGIV
2008
IEEE
15 years 6 months ago
2008
IEEE
In image processing, the curve comparisons can be achieved by extracting the curve information from the bitmapped images. The revealed curves are represented in the forms of the s...
FCT
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
SIGGRAPH
2000
ACM
15 years 4 months ago
2000
ACM
We present a method for creating texture over an arbitrary surface mesh using an example 2D texture. The approach is to identify interesting regions (texture patches) in the 2D ex...
SIGGRAPH
1995
ACM
15 years 3 months ago
1995
ACM
We present a surface representation and a set of algorithms that allow interactive placement of curved parametric objects without interpenetration. Using these algorithms, a model...
BMCBI
2004
14 years 11 months ago
2004
Background: To identify differentially expressed genes across experimental conditions in oligonucleotide microarray experiments, existing statistical methods commonly use a summar...