2502 search results - page 486 / 501 » Using probabilistic model checking in systems biology |
EUROSYS
2008
ACM
15 years 8 months ago
2008
ACM
Programs written in type-unsafe languages such as C and C++ incur costly memory errors that result in corrupted data structures, program crashes, and incorrect results. We present...
102
click to vote
AAAI
2008
15 years 2 months ago
2008
When building an application that requires object class recognition, having enough data to learn from is critical for good performance, and can easily determine the success or fai...
139
click to vote
BTW
2009
Springer
15 years 25 days ago
2009
Springer
Abstract: Multimedia databases are increasingly common in science, business, entertainment and many other applications. Their size and high dimensionality of features are major cha...
112
click to vote
EDM
2009
14 years 9 months ago
2009
Traditional data mining techniques have been extensively applied to find interesting patterns, build descriptive and predictive models from large volumes of data accumulated throug...
103
click to vote
CDVE
2007
Springer
15 years 5 months ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...