2920 search results - page 294 / 584 » Finite information logic |
190
click to vote
DOLAP
2010
ACM
15 years 4 months ago
2010
ACM
Object identification is a crucial step in most information systems. Nowadays, we have many different ways to identify entities such as surrogates, keys and object identifiers. Ho...
158
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
—This paper reviews the different gradient-based schemes and the sources of gradient, their availability, precision and computational complexity, and explores the benefits of usi...
157
click to vote
IJCNN
2006
IEEE
16 years 24 days ago
2006
IEEE
— The present paper is devoted to the exploration of the properties of the simple spiking neuron model and quantification of the information transfer rate, which the separate neu...
186
click to vote
WCRE
2006
IEEE
16 years 23 days ago
2006
IEEE
We describe the design and implementation of FFE/x86 (File-Format Extractor for x86), an analysis tool that works on stripped executables (i.e., neither source code nor debugging ...
168
click to vote
ITCC
2005
IEEE
16 years 10 days ago
2005
IEEE
We describe our experience applying tabular mathematical approaches to software specifications. Our purpose is to show alternative approaches to writing tabular specifications and...