1189 search results - page 69 / 238 » The Quotient of an Abstract Interpretation |
IJHCI
2008
15 years 20 days ago
2008
senting them at different levels of abstraction. This can make the analysis complex and unwieldy, requiring teams of analysts to manage it. A new approach to managing the complexit...
92
Voted
AML
2004
15 years 16 days ago
2004
Abstract. Product logic is an important t-norm based fuzzy logic with conjunction interpreted as multiplication on the real unit interval [0, 1], while Cancellative hoop logic CHL ...
84
Voted
COMBINATORICS
2000
15 years 15 days ago
2000
Abstract. We introduce color-signed permutations to obtain a very explicit combinatorial interpretation of the q-Eulerian identities of Brenti and some generalizations. In particul...
112
click to vote
ICTIR
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. A useful ability for search engines is to be able to rank objects with novelty and diversity: the top k documents retrieved should cover possible interpretations of a que...
95
Voted
JUCS
2010
14 years 7 months ago
2010
Abstract: We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped -calcul...