7773 search results - page 366 / 1555 » On generalized Frame-Stewart numbers |
177
click to vote
ISMVL
2000
IEEE
15 years 11 months ago
2000
IEEE
Multiple-valued decision diagrams (MDDs) give a way of approaching problems by using symbolic variables which are often more naturally associated with the problem statement than t...
173
click to vote
LICS
2000
IEEE
15 years 11 months ago
2000
IEEE
We introduce a new model based on coherence spaces for interpreting large impredicative type systems such as the Extended Calculus of Constructions (ECC). Moreover, we show that t...
177
click to vote
LICS
2000
IEEE
15 years 11 months ago
2000
IEEE
We give an axiomatic treatment of fixed-point operators in categories. A notion of iteration operator is defined, embodying the equational properties of iteration theories. We p...
171
click to vote
VR
2000
IEEE
15 years 11 months ago
2000
IEEE
Locales (as first embodied in the SPLINE system) are a very good approach to constructing and organising large virtual environments, especially for distributed and multiuser syste...
170
click to vote
ETRA
2000
ACM
15 years 11 months ago
2000
ACM
Text input with eye trackers can be implemented in many ways such as on-screen keyboards or context sensitive menu-selection techniques. We propose the use of off-screen targets a...