Search Sciweavers | Sciweavers

2623 search results - page 10 / 525

» tools 2010

134

Voted

ENTCS
2002

93views more ENTCS 2002»

A Tool for Abstraction in Model Checking

15 years 4 months ago

Download www.lcc.uma.es

or Abstraction in Model Checking Mar

María-del-Mar Gallardo, Jesús Mart&i...

claim paper

Read More »

141

click to vote

AEI
2010

76views more AEI 2010»

A three-stage framework for introducing a 4D tool in large consulting firms

15 years 4 months ago

Download myweb.caece.net

Meng-Han Tsai, Shih-Chung Kang, Shang-Hsien Hsieh

claim paper

Read More »

137

click to vote

BIOINFORMATICS
2010

167views more BIOINFORMATICS 2010»

PyNAST: a flexible tool for aligning sequences to a template alignment

14 years 11 months ago

Download microb230.med.upenn.edu

J. Gregory Caporaso, Kyle Bittinger, Frederic D. B...

claim paper

Read More »

107

Voted

CMIG
2010

106views more CMIG 2010»

A unified set of analysis tools for uterine cervix image segmentation

14 years 11 months ago

Download archive.nlm.nih.gov

Zhiyun Xue, L. Rodney Long, Sameer Antani, Leif Ne...

claim paper

Read More »

135

click to vote

TVCG
2010

284views more TVCG 2010»

Noodles: A Tool for Visualization of Numerical Weather Model Ensemble Uncertainty

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers