130 search results - page 15 / 26 » Towards Probabilistic Modelling in Event-B |
CSB
2002
IEEE
14 years 2 months ago
2002
IEEE
Analyzing protein sequence data becomes increasingly important recently. Most previous work on this area has mainly focused on building classification models. In this paper, we i...
HRI
2010
ACM
14 years 3 months ago
2010
ACM
—Speaking using unconstrained natural language is an intuitive and flexible way for humans to interact with robots. Understanding this kind of linguistic input is challenging be...
RSA
2006
13 years 9 months ago
2006
We present a (non-standard) probabilistic analysis of dynamic data structures whose sizes are considered as dynamic random walks. The basic operations (insertion, deletion, positi...
SIGMOD
2010
ACM
14 years 1 months ago
2010
ACM
Mining graph patterns in large networks is critical to a variety of applications such as malware detection and biological module discovery. However, frequent subgraphs are often i...
ICCV
2003
IEEE
14 years 2 months ago
2003
IEEE
Building on recent progress in modeling filter response statistics of natural images we integrate a statistical model into a variational framework for image segmentation. Incorpo...