9370 search results - page 241 / 1874 » An Abstract Notion of Application |
152
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
Over the years, the notion of concept relatedness has attracted considerable attention. A variety of approaches, based on ontology structure, information content, association, or ...
163
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
Abstract Stephen Read has presented an argument for the inconsistency of the concept of validity. We extend Read's results and show that this inconsistency is but one half of ...
136
click to vote
AML
2002
15 years 6 months ago
2002
Abstract Formal topology is today an established topic in the development of constructive mathematics and constructive proofs for many classical results of general topology have be...
157
click to vote
JLP
2011
14 years 9 months ago
2011
A Concurrent Kleene Algebra offers two composition operators, related by a weak version of an exchange law: when applied in a trace model of program semantics, one of them stands...
138
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
A delay abstraction of a combinational module is a compact representation of the delay information of the module, which carries effective pin-to-pin delay for each primary-input/pr...