2004 search results - page 149 / 401 » Comparison of Model Checking Tools for Information Systems |
129
Voted
ECCV
2004
Springer
15 years 10 months ago
2004
Springer
An automatic tool is developed to identify microbiological data types using computer-vision and statistical modeling techniques. In bacteriophage (phage) typing, representative pro...
133
click to vote
AI
1998
Springer
15 years 4 months ago
1998
Springer
This paper introduces a niching technique called GAS (S stands for species) which dynamically creates a subpopulation structure (taxonomic chart) using a radius function instead of...
184
click to vote
CSCW
1998
ACM
15 years 9 months ago
1998
ACM
Collaborative filtering systems help address information overload by using the opinions of users in a community to make personal recommendations for documents to each user. Many c...
157
click to vote
ISI
2006
Springer
15 years 5 months ago
2006
Springer
We present an overview of our work in information fusion for intelligence analysis. This work includes the Hats Simulator and the COLAB system. The Hats Simulator is a parameterize...
187
click to vote
DAC
2011
ACM
14 years 4 months ago
2011
ACM
SystemC is a popular modeling language which can be used to specify systems at bstraction level. Currently, SystemC tools can not cope with SystemC models for which the module hie...