2004 search results - page 390 / 401 » Comparison of Model Checking Tools for Information Systems |
ELPUB
2006
ACM
15 years 5 months ago
2006
ACM
Among the new possibilities that the Semantic Web has enabled, the authoring task is considered as a key moment for semantic representation of knowledge to enhance publishing need...
109
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: Gene/protein recognition and normalization are important preliminary steps for many biological text mining tasks, such as information retrieval, protein-protein intera...
CORR
2006
Springer
14 years 11 months ago
2006
Springer
Ideas by Statistical Mechanics (ISM) is a generic program to model evolution and propagation of ideas/patterns throughout populations subjected to endogenous and exogenous interac...
115
click to vote
WSC
2007
15 years 2 months ago
2007
Statistical selection procedures can identify the best of a finite set of alternatives, where “best” is defined in terms of the unknown expected value of each alternative’...
BMCBI
2002
14 years 11 months ago
2002
Background: SeqHound has been developed as an integrated biological sequence, taxonomy, annotation and 3-D structure database system. It provides a high-performance server platfor...