286 search results - page 36 / 58 » Lossless Regular Views |
133
click to vote
ICPR
2000
IEEE
16 years 4 months ago
2000
IEEE
An algorithm for online distance computation based on images taken in a sewer by a robot-inspector is presented. Modern concrete sewers are made of standard cylindrical pipes sepa...
113
click to vote
CHI
2009
ACM
16 years 3 months ago
2009
ACM
People regularly interact with different representations of Web pages. A person looking for new information may initially find a Web page represented as a short snippet rendered b...
240
click to vote
POPL
2004
ACM
16 years 3 months ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...
127
click to vote
CADE
2002
Springer
16 years 3 months ago
2002
Springer
We show that a conjunctive normal form (CNF) formula F is unsatisfiable iff there is a set of points of the Boolean space that is stable with respect to F. So testing the satisfiab...
119
click to vote
PODS
2007
ACM
16 years 3 months ago
2007
ACM
The pebble tree automaton and the pebble tree transducer are enhanced by additionally allowing an unbounded number of `invisible' pebbles (as opposed to the usual `visible�...