143 search results - page 5 / 29 » iccs 2005 |
ICCS
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, we aim at showing the advantages of Conceptual Graph formalism for the Semantic Web through several real-world applications in the framework of Corporate Semantic We...
ICCS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In this paper we address the problem of granting the correctness of Grid computations. We introduce a Grid Integrity Validation Scheme (GIVS) that may reveal the presence...
ICCS
2005
Springer
15 years 3 months ago
2005
Springer
Cell-DEVS is a combination of CA with the DEVS formalism that allows the definition of cellular models. CD++ is a modeling and simulation tool that implements DEVS and Cell-DEVS. W...
ICCS
2005
Springer
15 years 3 months ago
2005
Springer
Surfaces subdivision is an important means for geometric computing of surfaces in CAD. This paper proposes a new quadric subdivision for canal surfaces in this paper, RQ-sphere dec...
ICCS
2005
Springer
15 years 3 months ago
2005
Springer
The aim of this paper is to address computational aspects of the total energy singular vector analysis of atmospheric chemical transport models. We discuss the symmetry of the tang...