4872 search results - page 260 / 975 » CBR for Modeling Complex Systems |
156
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
—This paper presents a new economic approach for studying competition and innovation in a complex and highly interactive system of network providers, users, and suppliers of digi...
151
click to vote
CIMCA
2005
IEEE
15 years 11 months ago
2005
IEEE
— This paper describes an ontology-driven model, which integrates Bayesian Networks (BN) into the Ontology Web Language (OWL) to preserve the advantages of both. This model makes...
174
click to vote
ISMAR
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper presents a new technique we have created, known as Bread Crumbs, which allows the modelling of large outdoor ground features using a mobile augmented reality system and...
152
click to vote
ACSD
2004
IEEE
15 years 9 months ago
2004
IEEE
Abstract. This paper presents a formal verification algorithm for finding errors in models of complex concurrent systems. The algorithm improves explicit guided model checking by a...
141
click to vote
BSN
2006
IEEE
15 years 9 months ago
2006
IEEE
System robustness against individual sensor failures is an important concern in multi-sensor networks. Unfortunately, the complexity of using the remaining sensors to interpolate ...