2661 search results - page 302 / 533 » A Semantics for Abstraction |
165
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
Most existing automatic taxonomy induction systems exploit one or more features to induce a taxonomy; nevertheless there is no systematic study examining which are the best featur...
139
click to vote
ICECCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—Plugin-based application design has become increasingly popular in recent years, and has contributed to the success of a range of very different applications including ...
194
click to vote
LPAR
2007
Springer
16 years 25 days ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
192
click to vote
TLCA
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...
197
click to vote
ESOP
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...