5639 search results - page 577 / 1128 » Timed Abstract Non-interference |
179
Voted
ICDT
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. We review key constraints in the context of XML as introduced by Buneman et al. We show that one of the proposed inference rules is not sound in general, and the axiomati...
168
click to vote
AI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. A conditioning graph (CG) is a graphical structure that attempt to minimize the implementation overhead of computing probabilities in belief networks. A conditioning grap...
120
click to vote
ANTSW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In previous papers we proposed an algorithm for real parameter optimization called the Aggregation Pheromone System (APS). The APS replaces pheromone trails in traditiona...
176
click to vote
BIOADIT
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Long Short-Term Memory (LSTM) recurrent neural networks (RNNs) are local in space and time and closely related to a biological model of memory in the prefrontal cortex. N...
177
click to vote
APN
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this work, we address the problem of transient and steadystate analysis of a stochastic Petri net which includes non Markovian distributions with a finite support but ...