4502 search results - page 505 / 901 » Regular Model Checking |
146
click to vote
FSTTCS
2008
Springer
15 years 8 months ago
2008
Springer
Regular games provide a very useful model for the synthesis of controllers in reactive systems. The complexity of these games depends on the representation of the winning condition...
158
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
As increasing amounts of sensitive personal information is aggregated into data repositories, it has become important to develop mechanisms for processing the data without revealin...
173
click to vote
IJFCS
2008
15 years 6 months ago
2008
We consider extended variants of spiking neural P systems with decaying spikes (i.e., the spikes have a limited lifetime) and/or total spiking (i.e., the whole contents of a neuro...
181
click to vote
IPL
2006
15 years 6 months ago
2006
In this paper, we present a plane sweep algorithm for constructing the Voronoi diagram of a set of non-crossing line segments in 2D space using a distance metric induced by a regu...
185
click to vote
JIIS
2008
15 years 6 months ago
2008
We use the Edit distance with Moves on words and trees and say that two regular (tree) languages are -close if every word (tree) of one language is -close to the other. A transduc...