Sciweavers

1008 search results - page 39 / 202
» Canonicity!
Sort
View
ASPDAC
2005
ACM
122views Hardware» more  ASPDAC 2005»
15 years 4 months ago
Block based statistical timing analysis with extended canonical timing model
Lizheng Zhang, Yuhen Hu, Charlie Chung-Ping Chen
IJCAI
2001
15 years 3 months ago
Acquisition of Ontological Knowledge from Canonical Documents
This paper describes experiences with quasiautomated creation of a computational ontology for maritime information from a mixed collection of source material. Based on these exper...
Raphael M. Malyankar
111
Voted
AIML
1998
15 years 3 months ago
Canonical Pseudo-Correspondence
Generalizing an example from (Fine 1975) and inspired by a theorem in (J
Yde Venema
89
Voted
CSL
2010
Springer
15 years 3 months ago
Towards a Canonical Classical Natural Deduction System
José Espírito Santo