488 search results - page 68 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
125
click to vote
EDBT
2008
ACM
16 years 3 months ago
2008
ACM
Retrieving related graphs containing a query graph from a large graph database is a key issue in many graph-based applications, such as drug discovery and structural pattern recog...
114
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: The need to build a tool to facilitate the quick creation and editing of models encoded in the Systems Biology Markup language (SBML) has been growing with the number ...
150
click to vote
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
Multicore designs have emerged as the mainstream design paradigm for the microprocessor industry. Unfortunately, providing multiple cores does not directly translate into performa...
123
click to vote
TASLP
2002
15 years 2 months ago
2002
Abstract--We describe some high-level approaches to estimating confidence scores for the words output by a speech recognizer. By "high-level" we mean that the proposed me...
148
click to vote
BMCBI
2008
15 years 3 months ago
2008
imately 20 million abstracts. Browsing such a huge repository to find relevant information as well as providing elearning service requires new generation of interfaces. Methods suc...