595 search results - page 23 / 119 » Session 7: Demonstrations |
ACSD
2001
IEEE
15 years 1 months ago
2001
IEEE
The correctness of an optimisation of the Transport Capabilities Application Part of the Signalling System No. 7 is formalised as a branching bisimulation which is relaxed to allo...
83
Voted
SIGMOD
2004
ACM
15 years 9 months ago
2004
ACM
Spatial and temporal database systems, both in theory and in practice, have developed dramatically over the past two decades to the point where usable commercial systems, underpin...
NIPS
2004
14 years 11 months ago
2004
In this paper we show that it is possible to model sensory impressions of consumers about beef meat. This is not a straightforward task; the reason is that when we are aiming to i...
NIPS
1994
14 years 11 months ago
1994
Experiments were performed to reveal some of the computational properties of the human motor memory system. We show that as humans practice reaching movements while interacting wi...
61
Voted
ICIP
2006
IEEE
15 years 11 months ago
2006
IEEE
We present a probabilistic approach to shape matching which is invariant to rotation, translation and scaling. Shapes are represented by unlabeled point sets, so discontinuous bou...