2004 search results - page 92 / 401 » Comparison of Model Checking Tools for Information Systems |
155
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Word discovery is the task of discovering and collecting occurrences of repeating words in the absence of prior acoustic and linguistic knowledge, or training material. The capabi...
144
click to vote
MSO
2003
15 years 6 months ago
2003
The provision of efficient methods and tool support for the development and engineering of distributed systems is a key enabling factor for the evolution of Information Technology...
136
click to vote
SIGMOD
1997
ACM
15 years 8 months ago
1997
ACM
MDM is a tool that enables the users to de ne schemes of di erent data models and to perform translations of schemes from one model to another. These functionalities can be at the...
145
click to vote
BMCBI
2010
14 years 11 months ago
2010
Background: Shared-usage high throughput screening (HTS) facilities are becoming more common in academe as large-scale small molecule and genome-scale RNAi screening strategies ar...
163
click to vote
AGENTS
2000
Springer
15 years 9 months ago
2000
Springer
Before the powerful agent programming paradigm can be adopted in commercial or industrial settings, a complete environment, similar to that for other programming languages, must b...