2761 search results - page 321 / 553 » Collaborative model merging |
163
click to vote
MODELS
2010
Springer
15 years 3 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
184
click to vote
CVPR
2012
IEEE
13 years 7 months ago
2012
IEEE
Simply choosing one model out of a large set of possibilities for a given vision task is a surprisingly difficult problem, especially if there is limited evaluation data with whi...
140
click to vote
SBP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. The health system is a complex system of systems – changes in agriculture, transportation, economics, family life, medical practices, and many other things can have a p...
134
Voted
GECON
2007
Springer
15 years 10 months ago
2007
Springer
Grid Computing, initially intended to provide access to computational resources for high-performance computing applications, broadened its focus by addressing computational needs o...
153
Voted
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. As High Performance Computing becomes more collaborative, software certification practices are needed to quantify the credibility of shared applications. To demonstrate q...