186 search results - page 15 / 38 » Tractability of Theory Patching |
106
click to vote
SIAMDM
2008
14 years 10 months ago
2008
We introduce two variants of proper colorings with imposed partial ordering on the set of colors. One variant shows very close connections to some fundamental problems in graph the...
COLING
2002
14 years 10 months ago
2002
This paper investigates methods to automatically infer structural information from large XML documents. Using XML as a reference format, we approach the schema generation problem ...
121
click to vote
ICARCV
2008
IEEE
15 years 5 months ago
2008
IEEE
—Face recognition performance depends upon the input variability as encountered during biometric data capture including occlusion and disguise. The challenge met in this paper is...
INTERACT
2003
14 years 12 months ago
2003
: Interacting with video content can be very time-consuming, and solutions are needed to support people in the process of browsing a video so that they can efficiently interact wit...
PDCN
2004
14 years 12 months ago
2004
A novel combination of emergent algorithmic methods, powerful computational platforms and supporting infrastructure is described. These complementary tools and technologies are us...