81 search results - page 14 / 17 » Applications of artificial intelligence in bioinformatics: A... |
100
click to vote
WWW
2004
ACM
16 years 11 days ago
2004
ACM
We present a Semantic Web application that we call CS AKTive Space1 . The application exploits a wide range of semantically heterogeneous and distributed content relating to Compu...
AGI
2008
15 years 1 months ago
2008
A teaching methodology called Imitative-Reinforcement-Corrective (IRC) learning is described, and proposed as a general approach for teaching embodied non-linguistic AGI systems. I...
102
click to vote
MMAS
2004
Springer
15 years 5 months ago
2004
Springer
d to submit first an abstract (to signal your interest and contribution) and then a full paper (for review) to the workshop. All accepted papers will be published as a volume from ...
141
click to vote
BMCBI
2011
14 years 3 months ago
2011
Background: The Smith-Waterman algorithm for local sequence alignment is more sensitive than heuristic methods for database searching, but also more time-consuming. The fastest ap...
110
click to vote
ICCAD
2002
IEEE
15 years 8 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...