602 search results - page 24 / 121 » A New Rendering Model for X |
JSYML
2006
13 years 7 months ago
2006
The quantified relevant logic RQ is given a new semantics in which a formula xA is true when there is some true proposition that implies all x-instantiations of A. Formulae are mo...
ECCC
2011
13 years 2 months ago
2011
We show two new direct product results in two different models of communication complexity. Our first result is in the model of one-way public-coin model. Let f ⊆ X × Y × Z ...
IJFCS
2006
13 years 7 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
CGF
2002
13 years 7 months ago
2002
The modeling of real scenes is a complex and challenging task for which the use of laser rangefinders is one of the most promising approaches. Unfortunately, in many situations, i...
CHI
2000
ACM
13 years 12 months ago
2000
ACM
We have developed a new input device that allows users to intuitively specify three-dimensional coordinates in graphics applications. The device consists of a cubeshaped box with ...