1756 search results - page 37 / 352 » Current Directions in Hyper-Programming |
120
click to vote
EXACT
2008
15 years 5 months ago
2008
This paper describes the problems with debugging tools for answer set programming, a declarative programming paradigm. Current approaches are difficult to use on most applications ...
BMCBI
2006
2006
Nanopore Detector based analysis of single-molecule conformational kinetics and binding interactions
15 years 3 months ago
Background: A Nanopore Detector provides a means to transduce single molecule events into observable channel current changes. Nanopore-based detection can report directly, or indi...
132
click to vote
TDHMS
2008
15 years 3 months ago
2008
Application of covering codes to data embedding improves embedding efficiency and security of steganographic schemes. In this paper, we describe several familes of covering codes c...
128
click to vote
IUI
2005
ACM
15 years 8 months ago
2005
ACM
In this paper, we describe a public navigation system which uses adaptive displays as directional signs. The displays are mounted to walls where they provide passersby with direct...
216
click to vote
ASM
2010
ASM
16 years 11 days ago
2010
ASM
A natural encoding of synchronous message exchange with direct wait-control is proved to be equivalent in a distributed environment to a refinement which uses semaphores to implem...