7929 search results - page 137 / 1586 » Applications experience in Jade |
179
click to vote
ASE
2004
15 years 6 months ago
2004
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...
108
click to vote
QUESTA
2000
15 years 5 months ago
2000
We give a closed-form expression for the discounted weighted queue length and switching costs of a two-class single-server queueing model under a preemptive priority rule. These e...
170
click to vote
IJON
2010
15 years 4 months ago
2010
We present an EM-algorithm for the problem of learning preferences with Gaussian processes in the context of multi-task learning. We validate our approach on an audiological data ...
177
click to vote
IACR
2011
14 years 5 months ago
2011
—This paper proposes a novel fault-propagation pattern based differential fault analysis method - FPP-DFA, and proves its feasibility on SPN structure block ciphers using bitwise...
166
click to vote
SIGUCCS
2005
ACM
15 years 11 months ago
2005
ACM
Many higher education institutions are searching for cost effective tools for the delivery of a feature rich, synchronous online learning environment. While there are several comm...