4087 search results - page 78 / 818 » Sets in Types, Types in Sets |
ICCAD
2009
IEEE
13 years 6 months ago
2009
IEEE
As the complexity of integrated circuits has increased, so has the need for improving testing efficiency. Unfortunately, the types of defects are also becoming more complex, which...
KDD
2004
ACM
14 years 9 months ago
2004
ACM
There is a notable interest in extending probabilistic generative modeling principles to accommodate for more complex structured data types. In this paper we develop a generative ...
KBSE
2006
IEEE
14 years 2 months ago
2006
IEEE
To improve the productivity of the development process, more and more tools for static software analysis are tightly integrated into the incremental build process of an IDE. If mu...
SIGCPR
2006
ACM
14 years 2 months ago
2006
ACM
Podcasting represents a new and exciting learning paradigm within an academic setting. Materials such conference reports, research manuscripts, and course lectures can be recorded...
CP
2004
Springer
14 years 2 months ago
2004
Springer
The paper introduces value precedence on integer and set sequences. A useful application of the notion is in breaking symmetries of indistinguishable values, an important class of ...