294 search results - page 31 / 59 » On Recursively Directed Hypercubes |
DCC
2005
IEEE
14 years 7 months ago
2005
IEEE
Identifiable parent property (IPP) codes are introduced to provide protection against illegal producing of copyrighted digital material. In this paper we consider explicit constru...
TPHOL
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...
HAPTICS
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract. The apparent mass of haptic device end-effector depends on its position inside the workspace. This paper presents a recursive algorithm to detect effective direction of g...
IJCNN
2008
IEEE
14 years 1 months ago
2008
IEEE
—Sensory inputs such as visual images or audio spectrograms can act as symbols in a new cognitive model. The stability of direct image association operators allows the discrete b...
QEST
2007
IEEE
14 years 1 months ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...