896 search results - page 92 / 180 » Stepwise Refinement of Processes |
128
Voted
UAI
1994
15 years 4 months ago
1994
In this paper we propose a new approach to probabilistic inference on belief networks, global conditioning, which is a simple generalization of Pearl's (1986b) method of loop...
131
Voted
JIKM
2008
15 years 2 months ago
2008
Abstract. Current theories of knowledge management postulate a cycle of knowledge creation, refinement and implementation that hinges on the transformation of tacit, or practical, ...
133
Voted
TCS
2002
15 years 2 months ago
2002
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...
98
Voted
EMNLP
2010
15 years 20 days ago
2010
We present an approach to grammar induction that utilizes syntactic universals to improve dependency parsing across a range of languages. Our method uses a single set of manually-...
139
Voted
UTP
2010
15 years 15 days ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...