286 search results - page 36 / 58 » Lossless Regular Views |
ICPR
2000
IEEE
14 years 11 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...
CHI
2009
ACM
14 years 10 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...
POPL
2004
ACM
14 years 10 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...
CADE
2002
Springer
14 years 10 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...
PODS
2007
ACM
14 years 10 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�...