4266 search results - page 798 / 854 » A Framework for Defining Logics |
IMAGING
2001
14 years 11 months ago
2001
The world of color image difference modeling can be considered relatively young, when compared with the rich history of general color difference equations. While young, this area ...
NIPS
2004
14 years 11 months ago
2004
We describe a framework for learning an object classifier from a single example. This goal is achieved by emphasizing the relevant dimensions for classification using available ex...
ECIS
2000
14 years 11 months ago
2000
- The measurement and assessment of health status in communities throughout the world is a massive information technology challenge. The Comprehensive Assessment for Tracking Commu...
CSL
2010
Springer
14 years 11 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
BMCBI
2010
14 years 10 months ago
2010
Background: The use of ontologies to control vocabulary and structure annotation has added value to genomescale data, and contributed to the capture and re-use of knowledge across...