2956 search results - page 178 / 592 » Databases and Higher Types |
126
click to vote
NAR
2011
14 years 6 months ago
2011
BTO, the BRENDA Tissue Ontology (http://www .BTO.brenda-enzymes.org) represents a comprehensive structured encyclopedia of tissue terms. The project started in 2003 to create a co...
143
click to vote
CVPR
2009
IEEE
16 years 10 months ago
2009
IEEE
Edge-based color constancy makes use of image derivatives
to estimate the illuminant. However, different edge
types exist in real-world images such as shadow, geometry,
material...
143
Voted
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...
127
click to vote
SIGSOFT
2009
ACM
15 years 10 months ago
2009
ACM
An objective of unit testing is to achieve high structural coverage of the code under test. Achieving high structural coverage of object-oriented code requires desirable method-ca...
125
click to vote
DEXAW
2000
IEEE
15 years 7 months ago
2000
IEEE
Current models for cardinal directions, such as north and northeast, are either point-based or region-based, but no models exist that apply equally, independent of the geometric d...