Sciweavers

7168 search results - page 754 / 1434
» A Factorization Approach to Grouping
Sort
View
ECAI
2004
Springer
15 years 11 months ago
Lakatos-Style Automated Theorem Modification
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
Simon Colton, Alison Pease
NAR
2008
175views more  NAR 2008»
15 years 7 months ago
Onto-CC: a web server for identifying Gene Ontology conceptual clusters
The Gene Ontology (GO) vocabulary has been extensively explored to analyze the functions of coexpressed genes. However, despite its extended use in Biology and Medical Sciences, t...
Rocío Romero-Záliz, Coral del Val, J...
PAMI
2007
245views more  PAMI 2007»
15 years 7 months ago
Tracking People by Learning Their Appearance
—An open vision problem is to automatically track the articulations of people from a video sequence. This problem is difficult because one needs to determine both the number of p...
Deva Ramanan, David A. Forsyth, Andrew Zisserman
IGARSS
2009
15 years 5 months ago
Integrating Remote Sensing and Ancillary Data for Regional Ecosystem Assessment: Eucalyptus Grandis Agro-system in KwaZulu-Natal
The ability of various ecosystems to perform vital functions such as biodiversity production, and water, energy and nutrient cycling depends on the ecosystem state, i.e. health. E...
Moses Azong Cho, Jan van Aardt, Bongani Majeke, Ru...
CVPR
2009
IEEE
17 years 2 months ago
Directed Assistance for Ink-Bleed Reduction in Old Documents
Ink-bleed interference is a serious problem that affects the legibility of old documents. Ink-bleed can be reduced reasonably well using pixel classification based on user supplie...
Zheng Lu, Zheng Wu, Michael S. Brown