2436 search results - page 373 / 488 » Comonadic Notions of Computation |
138
click to vote
COCO
2001
Springer
15 years 9 months ago
2001
Springer
In this paper we investigate effective versions of Hausdorff dimension which have been recently introduced by Lutz. We focus on dimension in the class E of sets computable in line...
157
click to vote
CSL
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. In classical approaches to knowledge representation, reasoners are assumed to derive all the logical consequences of their knowledge base. As a result, reasoning in the ļ...
123
click to vote
APSEC
2000
IEEE
15 years 8 months ago
2000
IEEE
of modelling abstractions to map from items in the real-world to objects in the computational domain is oth for the effective implementation of abstract problem solutions and for ...
122
click to vote
CSL
2000
Springer
15 years 8 months ago
2000
Springer
We deļ¬ne three composition and structuring concepts which reļ¬ect frequently used reļ¬nements of ASMs and integrate standard structuring constructs into the global state based ...
128
click to vote
ISPD
1999
ACM
15 years 8 months ago
1999
ACM
Typical placement objectives involve reducing net-cut cost or minimizing wirelength. Congestion minimization is least understood, however, it models routability accurately. In thi...