3337 search results - page 198 / 668 » interactions 2006 |
POPL
2006
ACM
14 years 8 months ago
2006
ACM
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
AIML
2006
13 years 9 months ago
2006
We survey a number of decidablity and undecidablity results concerning epistemic temporal logic. The goal is to provide a general picture which will facilitate the `sharing of idea...
ISWC
2006
IEEE
14 years 2 months ago
2006
IEEE
As users of wearable computers are often involved in real-world tasks of critical nature, the management and handling of interruptions is crucial for efficient interaction and ta...
BMCBI
2006
13 years 8 months ago
2006
Background: Proteins control and mediate many biological activities of cells by interacting with other protein partners. This work presents a statistical model to predict protein ...
HAPTICS
2006
IEEE
14 years 2 months ago
2006
IEEE
We describe a tactile transducer system that has a compact, yet modular design. The tactile transducer comprises a 6×10 piezo bi