716 search results - page 93 / 144 » Modelling Bounded Rationality Using Evolutionary Techniques |
189
click to vote
ISMB
1993
15 years 6 months ago
1993
Wedescribe various methods designed to discover knowledge in the GenBanknucleic acid sequence database. Using a grammatical model of gene structure, we create a parse tree of a ge...
160
click to vote
ML
2000
ACM
15 years 5 months ago
2000
ACM
This paper discusses a novel distributed adaptive algorithm and representation used to construct populations of adaptive Web agents. These InfoSpiders browse networked information ...
176
click to vote
DATE
2009
IEEE
16 years 9 days ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
173
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: Hypermethylation of promoter CpG islands is strongly correlated to transcriptional gene silencing and epigenetic maintenance of the silenced state. As well as its role...
139
click to vote
SIGIR
2005
ACM
15 years 11 months ago
2005
ACM
Previous research into the efficiency of text retrieval systems has dealt primarily with methods that consider inverted lists in sequence; these methods are known as term-at-a-tim...