1716 search results - page 193 / 344 » Proving Conditional Termination |
102
click to vote
ENTCS
2006
15 years 24 days ago
2006
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...
110
Voted
JCT
2006
15 years 23 days ago
2006
We construct a new 2-parameter family Emn, m, n 3, of self-dual 2-simple and 2-simplicial 4-polytopes, with flexible geometric realisations. E44 is the 24-cell. For large m, n the...
127
Voted
SIAMJO
2008
15 years 21 days ago
2008
Eigenvectors to the second smallest eigenvalue of the Laplace matrix of a graph, also known as Fiedler vectors, are the basic ingredient in spectral graph partitioning heuristics....
116
Voted
NN
2000
Springer
15 years 17 days ago
2000
Springer
Local minima and plateaus pose a serious problem in learning of neural networks. We investigate the hierarchical geometric structure of the parameter space of three-layer perceptr...
73
Voted
JUCS
2002
15 years 14 days ago
2002
: With any Petri net we associated its CPN language which consists of all sequences of transitions which reach a marking with an empty place whereas all proper prefixes of the sequ...