2004 search results - page 303 / 401 » Comparison of Model Checking Tools for Information Systems |
101
click to vote
IEEEVAST
2010
14 years 6 months ago
2010
Modern machine learning techniques provide robust approaches for data-driven modeling and critical information extraction, while human experts hold the advantage of possessing hig...
126
click to vote
AMOST
2007
ACM
15 years 3 months ago
2007
ACM
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...
119
click to vote
BMCBI
2007
14 years 12 months ago
2007
Background: The simulation of metabolic networks in quantitative systems biology requires the assignment of enzymatic kinetic parameters. Experimentally determined values are ofte...
145
Voted
CMC
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. Intelligent MultiMedia (IntelliMedia) focuses on the computer processing and understanding of signal and symbol input from at least speech, text and visual images in term...
109
click to vote
JMLR
2010
14 years 6 months ago
2010
Zero-days attacks are one of the most dangerous threats against computer networks. These, by definition, are attacks never seen before. Thus, defense tools based on a database of ...