The complexity of current mixed software/hardware custom digital systems, has led to the requirement for automated high-level synthesis of the system from abstract, executable specifications, in order to drastically r...
详细信息
In this work, we propose the ensemble SVM that solves the problem of missing values of attributes and the imbalanced data phenomenon in the domain of postoperative risk management. Contrary to the other approaches the...
详细信息
We consider an IP over flexgrid network and present a joint IP routing, distance-adaptive routing and spectrum allocation formulation. We evaluate the performance of fixed- and flex-grid switches, fixed transponders, ...
详细信息
The present work proposes a framework aiming to develop reliability metrics for model predictions, integrating a priori clinical knowledge with data and emphasising feature relevance. The approach combines clinical kn...
详细信息
Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticipate undesirable emergent behavior. In this work...
详细信息
In this paper, we describe a mechanism for adaptive transmission of multimedia data, which is based on real time protocols. The proposed mechanism can be used for multicast multimedia data over heterogeneous networks,...
详细信息
In this paper, a statistical learning approach to spatial context exploitation for semantic image analysis is presented. The proposed method constitutes an extension of the key parts of the authors' previous work ...
详细信息
The complexity of current mixed software/hardware custom digital systems, has led to the requirement for automated high-level synthesis of the system from abstract, executable specifications, in order to drastically r...
详细信息
The complexity of current mixed software/hardware custom digital systems, has led to the requirement for automated high-level synthesis of the system from abstract, executable specifications, in order to drastically reduce the long development cycles. This paper introduces an approach to validate the hardware compilation process of a formal, high-level synthesizer, using provably-correct logic programming and XML schema techniques via an intelligent inference engine. The XML schema definition model is automatically generated from a formal intermediate format which forms the basis of connection and data exchange between the front-end and the back-end phases of the hardware compiler. The proposed methodology and the prototype tools are evaluated with results from real life applications such as graphics applications and an MPEG video compression engine.
In recent decades, the advent of digital information services by YouTube, Amazon, Netflix, and many other web services of this kind have made recommendation systems more and more ubiquitous in our lives. rice field. T...
详细信息
Web 2.0 has facilitated interactive information sharing on the WWW, allowing users the opportunity to articulate their opinions on different topics. In this framework, certain practices implement information monitorin...
详细信息
暂无评论