7213 search results - page 1048 / 1443 » Automated model grouping |
208
click to vote
RULES
1993
Springer
15 years 10 months ago
1993
Springer
Objects are collected into an object base because of a presumed need for cooperation among them. In classical object bases the cooperation is based on synchronous, preplanned mess...
185
click to vote
ICIAR
2010
Springer
15 years 10 months ago
2010
Springer
Accurate and precise estimation of the noise variance is often of key importance as an input parameter for posterior image processing tasks. In MR images, background data is well s...
157
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
181
click to vote
BIRD
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We propose a computational method for reconstructing metabolic networks. The method utilizes optimization techniques and graph traversal algorithms to discover a set of b...
204
click to vote
FORTE
2008
15 years 8 months ago
2008
Network-based fuzz testing has become an effective mechanism to ensure the security and reliability of communication protocol systems. However, fuzz testing is still conducted in a...