Sciweavers

4390 search results - page 600 / 878
» Part Objects and their Location
Sort
View
DEXA
2004
Springer
70views Database» more  DEXA 2004»
16 years 26 days ago
How to Model Visual Knowledge: A Study of Expertise in Oil-Reservoir Evaluation
This work presents a study of the nature of expertise in geology, which demands visual recognition methods to describe and interpret petroleum reservoir rocks. In an experiment usi...
Mara Abel, Laura S. Mastella, Luís A. Lima ...
209
Voted
FMCO
2004
Springer
16 years 25 days ago
Observability, Connectivity, and Replay in a Sequential Calculus of Classes
Abstract. Object calculi have been investigated as semantical foundation for object-oriented languages. Often, they are object-based, whereas the mainstream of object-oriented lang...
Erika Ábrahám, Marcello M. Bonsangue...
IFM
2004
Springer
104views Formal Methods» more  IFM 2004»
16 years 25 days ago
Linking CSP-OZ with UML and Java: A Case Study
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
Michael Möller, Ernst-Rüdiger Olderog, H...
IMR
2004
Springer
16 years 25 days ago
Entkerner: A System for Removal of Globally Invisible Triangles from Large Meshes
We present a method that computes a global potentially visible set for the complete region outside the convex hull of an object. The technique is used to remove invisible parts (t...
Manfred Ernst, Frank Firsching, Roberto Grosso
IMTCI
2004
Springer
16 years 25 days ago
Intelligent Data Integration Middleware Based on Updateable Views
We present a new approach to the grid technology that is based on updateable views. Views are used in two ways: (1) as wrappers of local servers that adopt local schemata to the fe...
Hanna Kozankiewicz, Krzysztof Stencel, Kazimierz S...