504 search results - page 19 / 101 » Definitional Reflection and the Completion |
TEI
2010
ACM
14 years 2 months ago
2010
ACM
We describe a new method of multi-touch sensing which can be unobtrusively added to existing displays. By coupling individually controlled optoelectronics to the edge of a planar ...
EJC
2000
13 years 9 months ago
2000
Abstract: The concept of information is still lacking a complete understanding, as witnessed by the large number of different meanings that overload the terms "data", &qu...
JFPLC
2000
13 years 9 months ago
2000
ABSTRACT. This paper focuses on the assignment of meaning to some nonterminating SLD derivations in logic programming. Several approaches have been developped by considering infini...
POPL
2006
ACM
14 years 7 months ago
2006
ACM
Concurrency-related bugs may happen when multiple threads access shared data and interleave in ways that do not correspond to any sequential execution. Their absence is not guaran...
ISPW
2007
IEEE
14 years 1 months ago
2007
IEEE
The formalization of process definitions has been an invaluable aid in many domains. However, noticeable variations in processes start to emerge as precise details are added to pro...