2086 search results - page 125 / 418 » Mathematical Theory Exploration |
125
Voted
IWPSE
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper we present a new perspective on the problem of complexity in software, using sound mathematical concepts from information theory such as Shannon’s Entropy [31]. We...
171
Voted
RTSS
2002
IEEE
15 years 8 months ago
2002
IEEE
When executing soft real-time tasks in a shared processor, it is important to properly allocate the computational resources such that the quality of service requirements of each t...
107
click to vote
ISIPTA
1999
IEEE
15 years 8 months ago
1999
IEEE
I introduce and study a fairly general imprecise secondorder uncertainty model, in terms of lower desirability. A modeller's lower desirability for a gamble is defined as her...
136
Voted
SIBGRAPI
1999
IEEE
15 years 7 months ago
1999
IEEE
Abstract. Mathematical morphology has become a widely used technique for image processing and computer vision. Initially designed as a set theory, it was generalized to the set of ...
104
Voted
ITP
2010
15 years 7 months ago
2010
Nitpick is a counterexample generator for Isabelle/HOL that builds on Kodkod, a SAT-based first-order relational model finder. Nitpick supports unbounded quantification, (co)ind...