801 search results - page 71 / 161 » Computational intelligence in solving bioinformatics problem... |
149
click to vote
AAAI
2000
15 years 6 months ago
2000
Intelligent user interfaces often rely on modified applications and detailed application models. Such modifications and models are expensive to build and maintain. We propose to a...
142
click to vote
ICAI
2009
15 years 2 months ago
2009
Quantified Boolean formulas are a powerful representation that have been used to capture and solve a variety of problems in Artificial Intelligence. While most research has focused...
116
click to vote
ACCV
2009
Springer
15 years 11 months ago
2009
Springer
Particle filtering is an effective sequential Monte Carlo approach to solve the recursive Bayesian filtering problem in non-linear and non-Gaussian systems. The algorithm is base...
138
click to vote
AI
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. The general timetabling problem is an assignment of activities to xed time intervals, adhering to a prede ned set of resource availabilities. Timetabling problems are di ...
134
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We address the problem of representing big sets of binary constraints compactly. Binary constraints in the form of 2literal clauses are ubiquitous in propositional formul...