Sciweavers

4320 search results - page 130 / 864
» Functional Objects
Sort
View
ICDE
1993
IEEE
103views Database» more  ICDE 1993»
15 years 10 months ago
IsaLog: A declarative language for complex objects with hierarchies
The IsaLog model and language are presented. The model has complex objects with classes, relations, and isa hierarchies. The language is strongly typed and declarative. The main i...
Paolo Atzeni, Luca Cabibbo, Giansalvatore Mecca
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
15 years 10 months ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li
DAGSTUHL
2007
15 years 7 months ago
Modelling with Relational Calculus of Object and Component Systems - rCOS
Abstract. This chapter presents a formalization of functional and behavioural requirements, and a refinement of requirements to a design for CoCoME using the Relational Calculus o...
Zhenbang Chen, Abdel Hakim Hannousse, Dang Van Hun...
ESANN
2006
15 years 7 months ago
Visual object classification by sparse convolutional neural networks
Abstract. A convolutional network architecture termed sparse convolutional neural network (SCNN) is proposed and tested on a real-world classification task (car classification). In...
Alexander Gepperth
IIWAS
2004
15 years 7 months ago
Ontology-Based Query Refinement for Multimedia Meta Objects
Abstract: To enable efficient access to multimedia content, the media data has to be augmented by semantic metadata and functionality. The semantic representation has to be integra...
Sonja Zillner, Werner Winiwarter