1641 search results - page 240 / 329 » Termination Analysis with Algorithmic Learning |
99
Voted
CPE
2003
Springer
15 years 5 months ago
2003
Springer
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...
127
Voted
AI
2006
Springer
15 years 14 days ago
2006
Springer
This article presents and analyzes algorithms that systematically generate random Bayesian networks of varying difficulty levels, with respect to inference using tree clustering. ...
148
click to vote
CIVR
2008
Springer
15 years 2 months ago
2008
Springer
In this paper, a motion-based approach for detecting highlevel semantic events in video sequences is presented. Its main characteristic is its generic nature, i.e. it can be direc...
109
Voted
BMCBI
2006
15 years 13 days ago
2006
Background: We have recently introduced a predictive framework for studying gene transcriptional regulation in simpler organisms using a novel supervised learning algorithm called...
148
click to vote
KDD
2010
ACM
14 years 10 months ago
2010
ACM
The dynamic marketplace in online advertising calls for ranking systems that are optimized to consistently promote and capitalize better performing ads. The streaming nature of on...