5962 search results - page 111 / 1193 » Working with Patterns and Code |
134
Voted
TPHOL
2009
IEEE
15 years 10 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...
145
click to vote
APSEC
2001
IEEE
15 years 7 months ago
2001
IEEE
With the rapid growth of the Internet and pervasive computing activities, the migration of back-end legacy systems to network centric environments has become a focal point for res...
121
click to vote
IWRIDL
2006
ACM
15 years 9 months ago
2006
ACM
We examine some research issues in pattern recognition and image processing that have been spurred by the needs of digital libraries. Broader – and not only linguistic – conte...
122
click to vote
PAMI
2007
15 years 2 months ago
2007
—In this paper, we introduce a family of filter kernels—the Gray-Code Kernels (GCK) and demonstrate their use in image analysis. Filtering an image with a sequence of Gray-Code...
125
Voted
IJCNN
2006
IEEE
15 years 9 months ago
2006
IEEE
— The applicability of complex networks of spiking neurons as a general purpose machine learning technique remains open. Building on previous work using macroscopic exploration o...