2496 search results - page 210 / 500 » On covering by translates of a set |
179
click to vote
ISWC
1999
IEEE
15 years 11 months ago
1999
IEEE
We show how images of a user's hand from a video camera attached to the underside of the wrist can be processed to yield finger movement information. Discrete (and discreet) ...
150
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 ...
178
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
An intermediate representation (IR) is a central structure around which tools such as compilers and synthesis tools are built. In this paper we propose such an IR specifically des...
192
click to vote
ANSS
2001
IEEE
15 years 10 months ago
2001
IEEE
ATLAS is a specification language defined to outline city sections to model and simulate traffic flow. Streets are characterized by their size, direction, number of lanes, etc. On...
179
click to vote
DLOG
2007
15 years 9 months ago
2007
Abstract. In this paper, we propose an approach to translating any ALC ontology (possible inconsistent) into a logically consistent set of disjunctive datalog rules. We achieve thi...