2088 search results - page 168 / 418 » The Probabilistic Method |
103
click to vote
AI
2006
Springer
15 years 7 months ago
2006
Springer
In the context of probabilistic verification, we provide a new notion of trace-equivalence divergence between pairs of Labelled Markov processes. This divergence corresponds to the...
100
Voted
ICONIP
2007
15 years 4 months ago
2007
There is no consensus on measuring distances between two different neural network architectures. Two folds of methods are used for that purpose: Structural and behavioral distance ...
107
click to vote
IJCAI
2003
15 years 4 months ago
2003
The ability to recognize when an agent abandons a plan is an open problem in the plan recognition literature and is a significant problem if these methods are to be applied in rea...
ISCAS
2008
IEEE
15 years 9 months ago
2008
IEEE
— We study the problem of automatic musical beat tracking from acoustic data, i.e., finding locations of beats of a music piece by computers on-the-fly, in this work. An online...
108
click to vote
HT
2010
ACM
15 years 8 months ago
2010
ACM
The rise of social interactions on the Web requires developing new methods of information organization and discovery. To that end, we propose a generative community-based probabil...