801 search results - page 9 / 161 » Computational intelligence in solving bioinformatics problem... |
122
click to vote
CONSTRAINTS
2010
14 years 11 months ago
2010
Abstract. Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different ...
120
click to vote
ICFCA
2004
Springer
15 years 7 months ago
2004
Springer
BLID (Bio-Logical Intelligent Database) is a bioinformatic system designed to help biologists extract new knowledge from raw genome data by providing high-level facilities for both...
129
click to vote
PRICAI
2004
Springer
15 years 7 months ago
2004
Springer
Temporal reasoning is an important task in many areas of computer science including planning, scheduling, temporal databases and instruction optimisation for compilers. Given a kno...
125
click to vote
EVOW
2007
Springer
15 years 5 months ago
2007
Springer
RND (Radio Network Design) is a Telecommunication problem consisting in covering a certain geographical area by using the smallest number of radio antennas achieving the biggest co...
108
click to vote
AAAI
2000
15 years 3 months ago
2000
One challenge for research in constraint-based scheduling has been to produce scalable solution procedures under fairly general representational assumptions. Quite often, the comp...