1068 search results - page 160 / 214 » For completeness, sublogarithmic space is no space |
ICDCS
1996
IEEE
14 years 29 days ago
1996
IEEE
: Software capabilities are a very convenient means to protect co-operating applications. They allow access rights to be dynamically exchanged between mutually suspicious interacti...
ISER
1997
Springer
14 years 29 days ago
1997
Springer
: We have constructed a tactile shape display which can be used to convey small-scale shapes in teleoperation and virtual environments. A line of 10 pins spaced 2 mm on center are ...
KBSE
1994
IEEE
14 years 28 days ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
SIGGRAPH
2010
ACM
14 years 27 days ago
2010
ACM
We investigate a complete pipeline for measuring, modeling, and fabricating objects with specified subsurface scattering behaviors. The process starts with measuring the scatterin...
LPNMR
1993
Springer
14 years 27 days ago
1993
Springer
We present a logic programming language which uses a four-valued bilattice as the underlying framework for semantics of programs. The two orderings of the bilattice reflect the c...