9049 search results - page 68 / 1810 » The New C Standard |
LREC
2010
14 years 11 months ago
2010
The phenomenon of coreference, covering entities, their mentions and their properties, is intricately linked to the phenomenon of coherence, covering the structure of rhetorical r...
IJCNN
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— In this paper, we propose a new nonlinear principal component analysis based on a generalized correlation function which we call correntropy. The data is nonlinearly tr...
ARC
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We describe a new approach for creating hardware description language (HDL) specifications for custom instructions, to form part of the instruction-set architecture (ISA)...
ICSM
2003
IEEE
15 years 3 months ago
2003
IEEE
Design patterns are micro architectures that have proved to be reliable, easy-to implement and robust. There is a need in science and industry for recognizing these patterns. We p...
SPIN
2007
Springer
15 years 3 months ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...