2004 search results - page 245 / 401 » Comparison of Model Checking Tools for Information Systems |
161
click to vote
BIBE
2007
IEEE
15 years 8 months ago
2007
IEEE
Multi-state molecules and multi-component complexes are commonly involved in cellular signaling. Accounting for molecules that have multiple potential states, such as a protein tha...
173
click to vote
CF
2007
ACM
15 years 8 months ago
2007
ACM
In the life sciences, genomic databases for sequence search have been growing exponentially in size. As a result, faster sequencesearch algorithms to search these databases contin...
145
click to vote
CIKM
2004
Springer
15 years 10 months ago
2004
Springer
Query expansion is a well-known technique that has been shown to improve average retrieval performance. This technique has not been used in many operational systems because of the...
142
click to vote
ISMIR
2001
Springer
15 years 9 months ago
2001
Springer
MUSART is a research project developing and studying new techniques for music information retrieval. The MUSART architecture uses a variety of representations to support multiple ...
157
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
Efficient architecture exploration and design of application specific instruction-set processors (ASIPs) requires retargetable software development tools, in particular C compil...