1679 search results - page 13 / 336 » Strong order equivalence |
119
click to vote
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We study a process calculus which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s probabilistic automata. We consider vario...
101
click to vote
ECIR
2008
Springer
15 years 3 months ago
2008
Springer
Cross-language Information Retrieval requires good methods for translating cross-lingual spelling variants which are not covered by the available dictionary resources. FITE-TRT is ...
INFORMATICALT
2007
15 years 1 months ago
2007
Abstract. This paper considers Lur’e type descriptor systems (LDS). The concept of strongly absolute stability is defined for LDS and such a notion is a generalization of absolu...
117
click to vote
CSR
2008
Springer
15 years 1 months ago
2008
Springer
An (n, k)-ary quantifier is a generalized logical connective, binding k variables and connecting n formulas. Canonical systems with (n, k)-ary quantifiers form a natural class of G...
139
click to vote
AAECC
2006
Springer
15 years 1 months ago
2006
Springer
A new framework for protection against key exposure was recently suggested by Dodis et. al. [16]. We take its realization further towards practice by presenting simple new schemes...