the proceedings contain 26 papers. the topics discussed include: inconsistency management for description logic programs and beyond;reasoning about pattern-based XML queries;answer set programming: language, applicati...
ISBN:
(纸本)9783642396656
the proceedings contain 26 papers. the topics discussed include: inconsistency management for description logic programs and beyond;reasoning about pattern-based XML queries;answer set programming: language, applications and development tools;a variant of earley deduction with partial evaluation;verification and synthesis in description logic based dynamic systems;towards an efficient algorithm to reason over description logics extended with nominal schemas;computing incoherence explanations for learned ontologies;an ontology-based reasoning approach for electric power utilities;conjunctive queries with negation over DL-lite: a closer look;on the exploration of the query rewriting space with existential rules;incomplete information in RDF;RIO: minimizing user interaction in ontology debugging;and eliminating nonmonotonic DL-atoms in description logic programs.
QA (question answering) systems designated for answering in-depth geographic questions are highly demanded but not quite available. Previous research has visited various individual aspects of a QA system but few syner...
详细信息
ISBN:
(纸本)9780769551197
QA (question answering) systems designated for answering in-depth geographic questions are highly demanded but not quite available. Previous research has visited various individual aspects of a QA system but few synergistic frameworks have been proposed. this paper investigates the nature of geographic question formation and observes their unique linguistic structures that can be semantically translated into a spatial query. We create a new task of solving non-trivial questions using GIS (Geographic Information System) and test it with an associated corpus. A dynamic programming algorithm is developed for classification and voting algorithm for verification. Two types of ontologies are integrated for disambiguating and discriminating spatial terms. PostGIS serves as the GIS backend to provide domain expertise for spatial reasoning. Results show that exact answers can be returned quickly and correctly by our system. Contrast classification results in improved accuracy compared withthe baseline which proves the effectiveness of proposed methods.
this case study explores alternative science metrics on grant-supported research publications. the study is based on plosOpenR, a software package for the statistical computing environment R. plosOpenR facilitates acc...
详细信息
In this paper is proposed optimization, scaling, performance evaluation and profiling of parallel multiple sequence alignment based on ClustalW algorithm on the supercomputer BlueGene/Q, so-called JUQUEEN, for the cas...
详细信息
this paper is concerned withthe joint optimization of user power allocation and distributed relay beamforming in two-way wireless relay networks in which multiple multi-antenna relays assist multiple single-antenna u...
详细信息
ISBN:
(纸本)9781479913190
this paper is concerned withthe joint optimization of user power allocation and distributed relay beamforming in two-way wireless relay networks in which multiple multi-antenna relays assist multiple single-antenna users. the design aims at maximizing the minimum information rate among user pairs subject to various practical power constraints at the users and relays. Since the nonconvex structure of the problem is highly complicated, the existing approaches to relax the design problem into a convex program do not appear to be applicable. To solve this challenging nonconvex optimization problem, we introduce auxiliary variables and cast the design problem into a d.c.(difference of convex functions) program. then, we develop an efficient iterative algorithm of sequential convex optimization to obtain the optimized solutions. Extensive simulation results demonstrate that our proposed joint design outperforms the only relay beamforming design.
this study examines Chinese consumers' concern about books on online bookstores. To address this, four research questions are proposed. the data used in this study are collected from the book best-seller lists fro...
详细信息
We present a novel design methodology for the mapping of nested loops onto programmable hardware accelerators. Key features of our approach are: (1) Design entry in form of a functionalprogramming language and loop p...
详细信息
ISBN:
(纸本)9781479904945;9781479904938
We present a novel design methodology for the mapping of nested loops onto programmable hardware accelerators. Key features of our approach are: (1) Design entry in form of a functionalprogramming language and loop parallelization in the polyhedron model, (2) the underlying accelerator architectures consist of lightweight, tightly-coupled, and programmable processor arrays, which can exploit both loop-level parallelism and instruction-level parallelism, (3) support of zero-overhead looping not only for innermost loops but also for arbitrarily nested loops. We implemented the proposed methodology in a prototype design tool and evaluated selected benchmarks by comparing our code generator withthe Trimaran compilation framework. As the results show, our approach can reduce the size of the generated processor codes up to 64% while at the same time achieving a significant higher throughput.
In wireless ad hoc networks, one of the most important issues impacting performance is wireless interference between adjacent nodes. Such interference problem has often been approached to find independent sets in a to...
详细信息
the article is devoted to the methods of proving parallel programs correctness, that are based on the Hoare axiomatic system. In this article such system is being developed for proving the correctness of the programs ...
详细信息
ISBN:
(纸本)9783642399572;9783642399589
the article is devoted to the methods of proving parallel programs correctness, that are based on the Hoare axiomatic system. In this article such system is being developed for proving the correctness of the programs in the functional data-flow parallel programming language Pifagor. Recursion correctness is proved by induction. this method could be used as a base of a toolkit to support program correctness proving, since it could be made automate at many stages.
Artificial neural networks based ensembles are used for solving the computer security problems. Ensemble members and the ensembling method are generated automatically withthe self-configuring genetic programming algo...
详细信息
ISBN:
(纸本)9783642330179
Artificial neural networks based ensembles are used for solving the computer security problems. Ensemble members and the ensembling method are generated automatically withthe self-configuring genetic programming algorithm that does not need preliminary adjusting. Performance of the approach is demonstrated with test problems and then applied to two real world problems from the field of computer security - intrusion and spam detection. the proposed approach demonstrates results competitive to known techniques.
暂无评论