3172 search results - page 310 / 635 » On the Random-Self-Reducibility of Complete Sets |
175
click to vote
FATES
2005
Springer
16 years 8 days ago
2005
Springer
The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but cou...
158
click to vote
FOSSACS
2005
Springer
16 years 8 days ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
158
click to vote
FSTTCS
2005
Springer
16 years 8 days ago
2005
Springer
Monitoring a distributed system to detect a stable property is an important problem with many applications. The problem is especially challenging for a dynamic distributed system b...
178
click to vote
GD
2005
Springer
16 years 8 days ago
2005
Springer
Let S be a set of horizontal line segments, or bars, in the plane. We say that G is a bar visibility graph, and S its bar visibility representation, if there exists a one-to-one co...
166
click to vote
GECCO
2005
Springer
16 years 8 days ago
2005
Springer
A fuzzy controller is usually designed by formulating the knowledge of a human expert into a set of linguistic variables and fuzzy rules. Among the most successful methods to auto...