Sciweavers

805 search results - page 56 / 161
» Semantic Modeling of Places using Objects
Sort
View
128
Voted
ER
2007
Springer
147views Database» more  ER 2007»
15 years 10 months ago
Toward an Ontological Database for Subcellular Neuroanatomy
We present the semantic data model for an ontological database for subcellular anatomy for Neurosciences. The data model builds upon the foundations of OWL and the Basic Formal Ont...
Amarnath Gupta, Stephen D. Larson, Christopher Con...
WSC
2008
15 years 6 months ago
Unifying simulation and optimization of strategic sourcing and transportation
Proposed and developed is a framework and an extensible library of simulation modeling components for strategic sourcing and transportation. The components include items, supplier...
Malak Al-Nory, Alexander Brodsky
149
Voted
3DOR
2010
14 years 10 months ago
Semantics-Driven Approach for Automatic Selection of Best Views of 3D Shapes
We introduce a new framework for the automatic selection of the best views of 3D models. The approach is based on the assumption that models belonging to the same class of shapes ...
Hamid Laga
120
Voted
IFM
2000
Springer
104views Formal Methods» more  IFM 2000»
15 years 7 months ago
Structuring Real-Time Object-Z Specifications
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
Graeme Smith, Ian J. Hayes
128
Voted
FASE
2009
Springer
15 years 7 months ago
Object Flow Definition for Refined Activity Diagrams
Activity diagrams are a well-known means to model the control flow of system behavior. Their expressiveness can be enhanced by using their object flow notation. In addition, we ref...
Stefan Jurack, Leen Lambers, Katharina Mehner, Gab...