Sciweavers

3007 search results - page 142 / 602
» Designing for collective remembering
Sort
View
JCDL
2005
ACM
160views Education» more  JCDL 2005»
15 years 7 months ago
SpidersRUs: automated development of vertical search engines in different domains and languages
In this paper we discuss the architecture of a tool designed to help users develop vertical search engines in different domains and different languages. The design of the tool is ...
Michael Chau, Jialun Qin, Yilu Zhou, Chunju Tseng,...
BMCBI
2006
123views more  BMCBI 2006»
15 years 1 months ago
Computational models with thermodynamic and composition features improve siRNA design
Background: Small interfering RNAs (siRNAs) have become an important tool in cell and molecular biology. Reliable design of siRNA molecules is essential for the needs of large fun...
Svetlana A. Shabalina, Alexey N. Spiridonov, Aleks...
136
Voted
BMCBI
2008
204views more  BMCBI 2008»
15 years 1 months ago
EST2uni: an open, parallel tool for automated EST analysis and database creation, with a data mining web interface and microarra
Background: Expressed sequence tag (EST) collections are composed of a high number of single-pass, redundant, partial sequences, which need to be processed, clustered, and annotat...
Javier Forment, Francisco Gilabert Villamón...
113
Voted
ICCV
2009
IEEE
1176views Computer Vision» more  ICCV 2009»
16 years 6 months ago
Building Rome in a Day
We present a system that can match and reconstruct 3D scenes from extremely large collections of photographs such as those found by searching for a given city (e.g., Rome) on In...
Sameer Agarwal, Noah Snavely, Ian Simon, Steven M....
DAC
2003
ACM
16 years 2 months ago
Using a formal specification and a model checker to monitor and direct simulation
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...
Serdar Tasiran, Yuan Yu, Brannon Batson