9370 search results - page 194 / 1874 » An Abstract Notion of Application |
133
click to vote
BIRTHDAY
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We investigate combinatorial commutation properties for reordering a sequence of two kinds of steps, and for separating wellfoundedness of unions of relations. To that en...
141
click to vote
IFIP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We analyse the C anonymity protocol under the novel assumption that the attacker has independent knowledge on behavioural patterns of individual users. Und...
188
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— We study Balanced Truncation for stochastic differential equations. In doing so, we adopt ideas from large deviations theory and discuss notions of controllability and ...
173
click to vote
TPHOL
2007
IEEE
16 years 26 days ago
2007
IEEE
Placing our result in a web of related mechanised results, we give a direct proof that the de Bruijn λ-calculus (`a la Huet, Nipkow and Shankar) is isomorphic to an α-quotiented ...
178
click to vote
COLT
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. In this paper the concept of asymptotic complexity of languages is introduced. This concept formalises the notion of learnability in a particular environment and generali...