3147 search results - page 228 / 630 » Open-Source Model Checking |
118
Voted
LREC
2008
15 years 4 months ago
2008
Recently, there has been an emphasis on creating shared resources for natural language processing applications. This has resulted in the development of high-quality tools and data...
120
Voted
APBC
2004
15 years 4 months ago
2004
With the continued growth of three dimensional structural information databases comes a corresponding increase in interest in this data for the study of new sequences and an ever-...
117
click to vote
INTERACT
2003
15 years 4 months ago
2003
: The paper presents the architecture and implementation of the IRIS Design Support Environment (DSE). This environment supports designers to create inclusive Internet content and ...
139
click to vote
USENIX
2004
15 years 4 months ago
2004
Xen is an x86 virtual machine monitor produced by the University of Cambridge Computer Laboratory and released under the GNU General Public License. Performance results comparing ...
100
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: Discovering overrepresented patterns in amino acid sequences is an important step in protein functional element identification. We adapted and extended NestedMICA, an ...