5409 search results - page 163 / 1082 » Basic Observables for Processes |
168
Voted
UIST
2003
ACM
15 years 8 months ago
2003
ACM
We present the design, implementation, and informal evaluation of tactile interfaces for small touch screens used in mobile devices. We embedded a tactile apparatus in a Sony PDA ...
110
Voted
CHES
2006
Springer
15 years 6 months ago
2006
Springer
This paper describes the implementation of the Advanced Encryption Standard Algorithm, Rijndael, in a new nanoscale technology, called CMOL. This technology consists of an array of...
106
Voted
FMCO
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper provides an overview of an approach to coalgebraic modelling and refinement of state-based software components, summing up some basic results and introducing a...
122
Voted
IWFM
2003
15 years 4 months ago
2003
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...
131
Voted
NIPS
2003
15 years 4 months ago
2003
We present a geometric approach to statistical shape analysis of closed curves in images. The basic idea is to specify a space of closed curves satisfying given constraints, and e...