1024 search results - page 39 / 205 » Compositional Methods for Probabilistic Systems |
109
click to vote
ATVA
2005
Springer
15 years 6 months ago
2005
Springer
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
NPAR
2004
ACM
15 years 6 months ago
2004
ACM
Creating a portrait in the style of a particular artistic tradition or a particular artist is a difficult problem. Elusive to codify algorithmically, the nebulous qualities which...
CSB
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper proposes a method for identifying protein names in biomedical texts with an emphasis on detecting protein name boundaries. We use a probabilistic model which exploits s...
ATAL
2003
Springer
15 years 6 months ago
2003
Springer
Interaction protocols for multiagent systems have been described diagrammatically in an extension of UML called AUML (Agent UML). In this paper, we show how to translate these pro...
146
click to vote
ICMCS
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper describes a method of stereo image composition for video see-through augmented reality. In order to implement an augmented reality system, we must acquire the position ...