2632 search results - page 250 / 527 » Alternating Timed Automata |
121
click to vote
IJCNN
2006
IEEE
15 years 10 months ago
2006
IEEE
—The backpropagation algorithm is a very popular approach to learning in feed-forward multi-layer perceptron networks. However, in many scenarios the time required to adequately ...
133
Voted
HPDC
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, we argue that a broad range of Internet-scale distributed applications can benefit from an underlying low-cost consistency detection framework – an alternative to...
142
click to vote
ISAAC
2005
Springer
15 years 9 months ago
2005
Springer
In an orthogonal drawing of a planar graph G, each vertex is drawn as a point, each edge is drawn as a sequence of alternate horizontal and vertical line segments, and any two edge...
109
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
A trace of a workload’s system calls can be obtained with minimal interference, and can be used to drive repeatable experiments to evaluate system configuration alternatives. R...
120
click to vote
BIRTHDAY
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We present a new proof of axiomatic completeness for Proposition Temporal Logic (PTL) for discrete, linear time for both finite and infinite time (without past-time). T...