11739 search results - page 312 / 2348 » Slideshow: functional presentations |
171
click to vote
ISMIS
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. This paper presents a framework for reasoning using intervals. Two interpretations of intervals are examined, one treats intervals as bounds of a truth evaluation functio...
168
click to vote
EURODAC
1994
IEEE
15 years 11 months ago
1994
IEEE
In order to master the growing complexity of analogue electronic systems, modelling and simulation of analogue hardware at various levels is absolutely necessary. This paper prese...
201
click to vote
HOA
1993
15 years 11 months ago
1993
Theory interpretation is a logical technique for relating one axiomatic theory to another with important applications in mathematics and computer science as well as in logic itself...
137
click to vote
IUI
1993
ACM
15 years 11 months ago
1993
ACM
Researchers in the field of intelligent interfaces have concentrated on building architectures, and have placed little emphasis on defining appropriate models. As a result, this...
191
click to vote
COMPGEOM
2007
ACM
15 years 10 months ago
2007
ACM
We present a data structure for answering approximate shortest path queries in a planar subdivision from a fixed source. Let 1 be a real number. Distances in each face of this sub...