1024 search results - page 29 / 205 » Compositional Methods for Probabilistic Systems |
CAISE
1999
Springer
15 years 5 months ago
1999
Springer
Software composition is critical for building large-scale applications. In this paper, we consider the composition of components that are methods offered by heterogeneous, autonomo...
UM
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We present a study exploring the promise of developing computational systems to support the discovery and execution of opportunistic activities in mobile settings. We int...
141
click to vote
COMPOS
1997
Springer
15 years 5 months ago
1997
Springer
The main problem in model checking that prevents it from being used for veri cation of large systems is the state explosion problem. This problem often arises from combining parall...
148
click to vote
BIBM
2010
IEEE
14 years 11 months ago
2010
IEEE
Recently, the concept of a species containing both core and distributed genes, known as the supra- or pangenome theory, has been introduced. In this paper, we aim to develop a new ...
105
click to vote
PRL
2008
15 years 1 months ago
2008
We present a new model for detection of noun phrases in unrestricted text, whose most outstanding feature is its flexibility: the system is able to recognize noun phrases similar ...