7311 search results - page 1243 / 1463 » Time in State Machines |
169
click to vote
GECCO
2007
Springer
16 years 10 days ago
2007
Springer
In the longest common subsequence problem the task is to find the longest sequence of letters that can be found as subsequence in all members of a given finite set of sequences....
164
click to vote
GECCO
2007
Springer
16 years 10 days ago
2007
Springer
This paper introduces a continuous model for Multi-cellular Developmental Design. The cells are fixed on a 2D grid and exchange ”chemicals” with their neighbors during the gr...
159
click to vote
SAFECOMP
2007
Springer
16 years 9 days ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
155
click to vote
SSS
2007
Springer
16 years 9 days ago
2007
Springer
We introduce a new abstract system, called the truth system. In the truth system, a process deduces a true value, with high probability, from an incoming stream of both true and fa...
147
click to vote
TARK
2007
Springer
16 years 9 days ago
2007
Springer
In this paper we show how coalition logic can be reduced to the fusion of a normal modal STIT logic for agency and a standard normal temporal logic for discrete time, and how this...