130 search results - page 7 / 26 » Towards Probabilistic Modelling in Event-B |
116
Voted
FLAIRS
2008
15 years 1 months ago
2008
Combining probability and first-order logic has been the subject of intensive research during the last ten years. The most well-known formalisms combining probability and some sub...
121
Voted
ICMLA
2010
14 years 9 months ago
2010
Quantum systems are promising candidates of future computing and information processing devices. In a large system, information about the quantum states and processes may be incomp...
93
Voted
BC
2008
14 years 11 months ago
2008
In this paper we introduce a simple model based on probabilistic finite state automata to describe an emotional interaction between a robot and a human user, or between simulated a...
82
Voted
EMSOFT
2009
Springer
15 years 6 months ago
2009
Springer
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...
89
Voted
GFKL
2005
Springer
15 years 5 months ago
2005
Springer
Mining association rules is an important technique for discovering meaningful patterns in transaction databases. In the current literature, the properties of algorithms to mine ass...