3400 search results - page 480 / 680 » tools 2008 |
185
click to vote
ESWA
2008
15 years 6 months ago
2008
Within the communication process of human beings, the speaker's facial expression and lip-shape movement contains extremely rich language information. The hearing impaired, a...
197
click to vote
MICS
2008
15 years 6 months ago
2008
Mizar is a proof assistant used for formalization and mechanical verification of mathematics. The main use of Mizar is in the development of the Mizar Mathematical Library (MML), i...
138
click to vote
PVLDB
2008
15 years 6 months ago
2008
The measure of similarity between objects is a very useful tool in many areas of computer science, including information retrieval. SimRank is a simple and intuitive measure of th...
172
click to vote
PVLDB
2008
15 years 6 months ago
2008
DBPubs is a system for effectively analyzing and exploring the content of database publications by combining keyword search with OLAP-style aggregations, navigation, and reporting...
175
click to vote
SCFBM
2008
15 years 6 months ago
2008
Objective: Here we report the improved results of a new siRNA design program and analysis tool called siRNA_profile that reveals an additional criterion for bioinformatic search o...