8917 search results - page 493 / 1784 » Abstraction in Algorithm Animation |
166
click to vote
TACAS
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We propose a novel algorithm for automata-based LTL model checking that interleaves the construction of the generalized B¨uchi automaton for the negation of the formula ...
240
click to vote
ICCNMC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. The main goal of research concerning energy aware routing algorithm for wireless sensor network is to increase the lifetime and long-term connectivity of the wireless sen...
138
click to vote
APPROX
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. Motivated by an open problem recently suggested by Goldreich et al., we study truthful implementations of a random binary function supporting compound XOR queries over su...
163
click to vote
EVOW
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. We introduce a new algorithm for autonomous experimentation. This algorithm uses evolution to drive exploration during scientific discovery. Population size and mutation...
169
click to vote
FORMATS
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. We extend Angluin’s algorithm for on-line learning of regular languages to the setting of timed systems. We consider systems that can be described by a class of determi...