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...
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...
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...
Abstract. A convolutional network architecture termed sparse convolutional neural network (SCNN) is proposed and tested on a real-world classification task (car classification). In...
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...