6018 search results - page 388 / 1204 » Factored Translation Models |
210
click to vote
COOPIS
2002
IEEE
15 years 12 months ago
2002
IEEE
We extend the description logic ¢¤£¦¥¦§©¨ with a preference order on the axioms. With this strict partial order certain axioms can be overruled, if defeated with more ...
170
click to vote
SSIAI
2000
IEEE
15 years 11 months ago
2000
IEEE
We proposed an intensity-based morphological pyramid image registration algorithm. This approach utilizes the global affine transformation model, also considering radiometric chan...
158
click to vote
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
Gandalf is a first-order resolution theorem-prover, optimized for speed and specializing in manipulations of large clauses. In this paper I describe GANDALF TAC, a HOL tactic that ...
177
click to vote
SPAA
1993
ACM
15 years 11 months ago
1993
ACM
This paper concerns the problem of how to exploit parallelism during the phases of compilation involving syntaxdirected analysis and translation. In particular, we address the pro...
154
click to vote
APCHI
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper describes a teleconferencing application that uses real objects to interact with virtual on-screen content. A variety of tangible interaction techniques can be used to l...