3001 search results - page 113 / 601 » Recursive type generativity |
124
Voted
IRI
2006
IEEE
15 years 8 months ago
2006
IEEE
—The transformational methodology described in this paper induces new knowledge, which may be open under any deductive process. The method of transposition is used to maintain a ...
122
Voted
VLDB
2005
ACM
15 years 8 months ago
2005
ACM
In various applications such as data cleansing, being able to retrieve categorical or numerical attributes based on notions of approximate match (e.g., edit distance, numerical di...
138
Voted
ISMB
2000
15 years 4 months ago
2000
Mycobacterium tuberculosis (M. tb.) strains differ in the number and locations of a transposon-like insertion sequence known as IS6110. Accurate detection of this sequence can be ...
219
Voted
ICFP
2009
ACM
16 years 3 months ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...
115
Voted
ICIP
2006
IEEE
16 years 4 months ago
2006
IEEE
We describe a digital image forensics technique to distinguish images captured by a digital camera from computer generated images. Our approach is based on the fact that image acq...