2043 search results - page 61 / 409 » Some Basics on Tolerances |
155
click to vote
MEMOCODE
2010
IEEE
15 years 4 months ago
2010
IEEE
Elastic systems provide tolerance to the variations in computation and communication delays. The incorporation of elasticity opens new opportunities for optimization using new corr...
136
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper presents an approach to designing narrowband digital filters that are realizable using optical allpass building blocks. We describe a top-down design method by explici...
187
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
I describe the mechanisation in HOL of some basic -calculus theory, using the axioms proposed by Gordon and Melham [4]. Using these as a foundation, I mechanised the proofs from C...
173
click to vote
IEEEICCI
2005
IEEE
15 years 12 months ago
2005
IEEE
The study of concept formation and learning is a central topic in cognitive informatics. Formal concept analysis can be viewed as an approach on this topic based on a formal conte...
138
click to vote
ISSEP
2005
Springer
15 years 11 months ago
2005
Springer
In the recent past a number of concepts have achieved prominence in the quest for basic principles of informatics with long-term validity. Particularly at schools providing an all-...