9325 search results - page 421 / 1865 » The decentralized implementability problem |
133
Voted
ATVA
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we provide two compositional algorithms to solve safety games and apply them to provide compositional algorithms for the LTL synthesis problem. We have implemented t...
154
Voted
GECCO
2008
Springer
15 years 6 months ago
2008
Springer
This note is best described as a ‘Research Challenge’, and concerns building an ultra high frequency (UHF) trading system. The emphasis is on addressing the problems posed by ...
135
click to vote
DAM
2006
15 years 5 months ago
2006
Abstract. In this paper we present an algorithm for the problem of exhaustive equivalence-free generation of 3-connected matroids which are represented by a matrix over some finite...
112
click to vote
FGCS
2006
15 years 5 months ago
2006
We present a Grid solution to a grand challenge problem, the simulation and visualization of the human arterial system. We implemented our simulation and visualization system on t...
119
Voted
JAR
2007
15 years 5 months ago
2007
Abstract. OWL DL, a new W3C ontology language recommendation, is based on the expressive description logic SHOIN. Although the ontology consistency problem for SHOIN is known to be...