851 search results - page 1 / 171 » Synthesis of Distributed Systems from Knowledge-Based Specif... |
CONCUR
2005
Springer
13 years 10 months ago
2005
Springer
LPAR
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
LREC
2010
13 years 6 months ago
2010
The Text Analysis Conference (TAC) is a series of Natural Language Processing evaluation workshops organized by the National Institute of Standards and Technology. The Knowledge B...
ATVA
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. Controlling concurrent systems to impose some global invariant is an undecidable problem. One can gain decidability at the expense of reducing concurrency. Even under thi...
EDM
2010
13 years 6 months ago
2010
A Bayesian Knowledge Base is a generalization of traditional Bayesian Networks where nodes or groups of nodes have independence. In this paper we describe a method of generating a ...