42738 search results - page 70 / 8548 » Search Computing Systems |
111
click to vote
JAR
1998
15 years 7 days ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
85
Voted
AUSAI
1997
Springer
15 years 4 months ago
1997
Springer
Learning genetic representation has been shown to be a useful tool in evolutionary computation. It can reduce the time required to find solutions and it allows the search process ...
104
Voted
HPDC
2006
IEEE
15 years 6 months ago
2006
IEEE
Parallel sequence-search tools are rising in popularity among computational biologists. With the rapid growth of sequence databases, database segmentation is the trend of the futu...
109
Voted
BMCBI
2007
15 years 18 days ago
2007
Background: A combination of multiple types of transcription factors and cis-regulatory elements is often required for gene expression in eukaryotes, and the combinatorial regulat...
103
Voted
CHI
2011
ACM
14 years 4 months ago
2011
ACM
According to cognitive science literature, human memory is predicated on contextual cues (e.g., room, music) in the environment. During recall tasks, we associate information/acti...