332 search results - page 2 / 67 » An Aristotelian notion of size |
SCN
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Span programs provide a linear algebraic model of computation. Monotone span programs (MSP) correspond to linear secret sharing schemes. This paper studies the properties...
COMPGEOM
2006
ACM
13 years 11 months ago
2006
ACM
Abstract We introduce a parameterized notion of feature size that interpolates between the minimum of the local feature size and the recently introduced weak feature size. Based on...
POPL
2009
ACM
14 years 6 months ago
2009
ACM
We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools in the emb...
ISSTA
2000
ACM
13 years 10 months ago
2000
ACM
A number of different concepts have been proposed that, loosely speaking, revolve around the notion of software testability. Indeed, the concept of testability itself has been int...
JBI
2006
13 years 5 months ago
2006
Bridging levels of ``granularity'' and ``scale'' are frequently cited as key problems for biomedical informatics. However, detailed accounts of what is meant b...