1024 search results - page 29 / 205 » Compositional Methods for Probabilistic Systems |
108
Voted
CAISE
1999
Springer
15 years 7 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...
86
Voted
UM
2007
Springer
15 years 8 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...
148
Voted
COMPOS
1997
Springer
15 years 6 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...
156
Voted
BIBM
2010
IEEE
15 years 23 days 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 ...
117
Voted
PRL
2008
15 years 2 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 ...