1158 search results - page 115 / 232 » Software is discrete mathematics |
74
Voted
WSC
1993
14 years 11 months ago
1993
We present a mapping of Best Practices from the field of software engineering to the practice of discrete event simulation model construction. There are obvious parallels between ...
102
click to vote
ICCV
2003
IEEE
16 years 12 hour ago
2003
IEEE
In this paper we use the cumulative distribution of a random variable to define the information content in it and use it to develop a novel measure of information that parallels S...
DAC
2008
ACM
15 years 11 months ago
2008
ACM
Many computational tools have recently begun to benefit from the use of the symmetry inherent in the tasks they solve, and use general-purpose graph symmetry tools to uncover this...
DAC
2004
ACM
15 years 11 months ago
2004
ACM
Instances of the Boolean satisfiability problem (SAT) arise in many areas of circuit design and verification. These instances are typically constructed from some human-designed ar...
IPMI
2003
Springer
15 years 11 months ago
2003
Springer
In this paper we develop a novel measure of information in a random variable based on its cumulative distribution that we dub cumulative residual entropy (CRE). This measure parall...