6575 search results - page 363 / 1315 » Specializing visualization algorithms |
143
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
We present a new method, which allows successful application of watershed transformation for images containing small objects. The method can be divided into two stages. During the...
160
click to vote
APPROX
2005
Springer
16 years 9 days ago
2005
Springer
We study the approximability of 1-in-kSAT, the variant of Max kSAT where a clause is deemed satisfied when precisely one of its literals is satisfied. We also investigate differ...
173
click to vote
ICDT
2003
ACM
15 years 12 months ago
2003
ACM
We investigate the incremental validation of XML documents with respect to DTDs and XML Schemas, under updates consisting of element tag renamings, insertions and deletions. DTDs ...
165
click to vote
PEPM
1993
ACM
15 years 10 months ago
1993
ACM
Applications of partial evaluation have so far mainly focused on generation of compilers from interpreters for programming languages. We partially evaluate a simple general LR(k) ...
167
click to vote
SIAMDM
2008
15 years 6 months ago
2008
We consider the class of graphs that contain no bull, no odd hole, and no antihole of length at least five. We present a new algorithm that colors optimally the vertices of every g...