557 search results - page 84 / 112 » The L4.verified Project - Next Steps |
110
click to vote
BMCBI
2006
14 years 12 months ago
2006
Background: Document classification is a wide-spread problem with many applications, from organizing search engine snippets to spam filtering. We previously described Textpresso, ...
JKM
2006
14 years 12 months ago
2006
Purpose Knowledge management for space exploration is part of a multi-generational effort. Each mission builds on knowledge from prior missions, and learning is the first step in ...
113
click to vote
JOT
2006
14 years 12 months ago
2006
This paper describes a Java-based screensaver technology for the Initium Remote Job Submission (RJS) system running on Microsoft Windows. Initium RJS is a Java Web Start (JAWS) te...
JOT
2006
14 years 12 months ago
2006
This paper describes a Java-based screensaver technology for the Initium Remote Job Submission (RJS) system running on UNIX XWindows. Initium RJS is a Java Web Start (JAWS) techno...
114
click to vote
NAR
2008
14 years 12 months ago
2008
TarO (http://www.compbio.dundee.ac.uk/taro) offers a single point of reference for key bioinformatics analyses relevant to selecting proteins or domains for study by structural bi...