检索结果-内蒙古大学图书馆

30th International Conference on Software Engineering

作者： Sankaranarayanan, Sriram Ivancic, Franjo Gupta, Aarti NEC Labs America Princeton NJ USA

ISBN: (纸本)9781605580791

Software libraries organize useful functionalities in order to promote modularity and code reuse. A typical library is used by client programs through an application programming interface (API) that hides its internals from the client. Typically, the rules governing the correct usage of the API are documented informally. In many cases, libraries may have complex API usage rules and unclear documentation. As a result, the behaviour of the library under some corner cases may not be well understood by the programmer. Formal specifications provide a precise understanding of the API behaviour. We propose a methodology for learning interface specifications using inductive logic programming (ILP). Our technique runs several unit. tests on the library in order to generate relations describing the operation of the library. The data collected from these tests are used by an inductive learner to obtain rich Datalog/Prolog specifications. Such specifications capture essential properties of interest to the user. They may be used for applications such as reverse engineering the library internals or constructing checks on the application code to enforce proper API usage along with other properties of interest.

关键词： Software Specification Verification Datalog inductive logic programming Machine Learning

来源：评论

学校读者我要写书评

暂无评论

Study of Semantic Web Usage Mining

Study of Semantic Web Usage Mining

引用

3rd International Conference on Communication Systems and Network Technologies (CSNT)

作者： Liu, Yujiang Liaoning Univ Int Business & Econ Dalian Peoples R China

ISBN: (纸本)9780769549583;9781467356039

The related theories of Web and Web mining in semantic are concluded and analyzed in this paper. The description on RDF resource is analyzed on the semantic step, and the clustering method for RDFMS data clustering based on Semantic distance is proposed, with the detailed description for the algorithm and examples. With the discussion on the data mining techniques for semantic Web mining, the design on inductive logic programming is proposed for the data mining techniques that are suitable to the semantic Web. Additionally, how to apply to the description of the algorithm is given through the specific examples to verify the feasibility for the data mining in the semantic Web environment.

关键词： Semantic Web Web Mining RDFMS Data Clustering inductive logic programming

来源：评论

学校读者我要写书评

暂无评论

A Branch-and-Bound algorithm using multiple GPU-based LP solvers

A Branch-and-Bound algorithm using multiple GPU-based LP sol...

引用

20th International Conference on High Performance Computing (HiPC)

作者： Meyer, Xavier Chopard, Bastien Albuquerque, Paul Univ Geneva Dept Comp Sci Geneva Switzerland Univ Appl Sci Western Switzerland Inst Informat & Telecommun Geneva Switzerland

ISBN: (纸本)9781479907298

The Branch-and-Bound (B& B) method is a wellknown optimization algorithm for solving integer linear programming (ILP) models in the field of operations research. It is part of software often employed by businesses for finding solutions to problems such as airline scheduling problems. It operates according to a divide-and-conquer principle by building a treelike structure with nodes that represent linear programming (LP) problems. A LP solver commonly used to process the nodes is the simplex method. Nowadays its sequential implementation can be found in almost all commercial ILP solvers. In this paper, we present a hybrid CPU-GPU implementation of the B&B algorithm. The B&B tree is managed by the CPU, while the revised simplex method is mainly a GPU implementation, relying on the CUDA technology of NVIDIA. The CPU manages concurrently multiple instances of the LP solver. The principal difference with a sequential implementation of the B&B algorithm pertains to the LP solver, provided that the B&B tree is managed with the same strategy. We thus compared our GPU-based implementation of the revised simplex to a wellknown open-source sequential solver, named CLP, of the COINOR project. For given problem densities, we measured a size threshhold beyond which our GPU implementation outperformed its sequential counterpart.

关键词： Solvers Simplex method Optimization algorithms central processing units Branch and bound algorithms inductive logic programming Sequential GRAPPER PICK UP Graphics Processing Unit Ganglia

来源：评论

学校读者我要写书评

暂无评论

Optimal Reduction of Large Image Databases for Location Recognition

Optimal Reduction of Large Image Databases for Location Reco...

引用

IEEE International Conference on Computer Vision (ICCV)

作者： Havlena, Michal Hartmann, Wilfried Schindler, Konrad ETH Inst Geodesy & Photogrammetry CH-8093 Zurich Switzerland

ISBN: (纸本)9781479930227

For some computer vision tasks, such as location recognition on mobile devices or Structure from Motion (SfM) computation from Internet photo collections, one wants to reduce a large set of images to a compact, representative subset, sometimes called "keyframes" or "skeletal set". We examine the problem of selecting a minimum set of such keyframes from the point of view of discrete optimization, as the search for a minimum connected dominating set (CDS) of the graph of pairwise connections between the database images. Even the simple minimum dominating set (DS) problem is known to be NP-hard, and the constraint that the dominating set should be connected makes it even harder. We show how the minimum DS can nevertheless be solved to global optimality efficiently in practice, by formulating it as an integer linear program (ILP). Furthermore, we show how to upgrade the solution to a connected dominating set with a second ILP if necessary, although the complete method is no longer globally optimal. We also compare the proposed method to a previous greedy heuristic. Experiments with several image sets show that the greedy solution already performs remarkably well, and that the optimal solution achieves roughly 5% smaller keyframe sets which perform equally well in location recognition and SfM tasks.

关键词： Big data Connected dominating set Integer linear programming Location recognition big data Integer linear programming visual databases images Set (Psychology) Recognition (Psychology) Frame computer vision inductive logic programming greedy method

来源：评论

学校读者我要写书评

暂无评论

CAPEX Optimized Routing for Scheduled Traffic in Multi-layer Optical Networks

CAPEX Optimized Routing for Scheduled Traffic in Multi-layer...

引用

19th IEEE International Workshop on Local and Metropolitan Area Networks (LANMAN)

作者： Ding, Hui Ramamurthy, Byrav Yi, Pan Beijing Univ Post & Telecom State Key Lab Informat Photon & Opt Comm Beijing 100876 Peoples R China Univ Nebraska Dept Comp Engn & Sci Lincoln NE 68588 USA

ISBN: (纸本)9781467349840;9781467349857

Connection requests for data-intensive applications often require specific start time and end time/duration when they are submitted. With the additional time domain information, cost efficient connections can be established. In this paper, we propose two capital expenditure (CapEx) optimized approaches: Multi-Layer (ML) approach and Transponder/Regenerator Reuse (TRR) approach. Integer Linear programming (ILP) is used to formulate the routing, wavelength assignment and regenerator/multiplexer placement problem in a complex multi-layer optical network and provide lower bounds for the optimized CapEx value. Due to the time and space complexity of ILP, we also propose a greedy algorithm and a tabu-search algorithm to solve the same problem in a less time and resource consuming way. Finally, we compare the results in terms of computing time and optimized CapEx value across the ILP, greedy heuristic and tabu search heuristic methods with the ML approach for the Internet2 topology and a 6-node ring topology. The performance of all three methods with TRR approach is also tested with the same input traffic. The results show 30% to 40% less CapEx when comparing ML with TRR. Further, our tabu search heuristic can achieve near optimal results compared to ILP.

关键词： Derma-Smooth FS Fiber optic networks inductive logic programming Network routing greedy algorithm Taboo SEARCHING ALGORITHM run-up time Connections space complexities wavelength assignment Heuristics heuristic methods Computer programming Languages

来源：评论

学校读者我要写书评

暂无评论

A Counting-Based Heuristic for ILP-Based Concept Discovery Systems

A Counting-Based Heuristic for ILP-Based Concept Discovery S...

引用

8th International Conference on Hybrid Artificial Intelligent Systems (HAIS)

作者： Mutlu, Alev Karagoz, Pinar Kavurucu, Yusuf Middle E Tech Univ Dept Comp Engn TR-06531 Ankara Turkey Turkish Naval Acad Ankara Turkey

ISBN: (纸本)9783642408465

Concept discovery systems are concerned with learning definitions of a specific relation in terms of other relations provided as background knowledge. Although such systems have a history of more than 20 years and successful applications in various domains, they are still vulnerable to scalability and efficiency issues - mainly due to large search spaces they build. In this study we propose a heuristic to select a target instance that will lead to smaller search space without sacrificing the accuracy. The proposed heuristic is based on counting the occurrences of constants in the target relation. To evaluate the heuristic, it is implemented as an extension to the concept discovery system called (CD)-D-2. The experimental results show that the modified version of (CD)-D-2 builds smaller search space and performs better in terms of running time without any decrease in coverage in comparison to the one without extension.

关键词： inductive logic programming Concept Discovery Search Space Counting

来源：评论

学校读者我要写书评

暂无评论

Link Selection Algorithms for Link-Based ILPs and Applications to RWA in Mesh Networks

Link Selection Algorithms for Link-Based ILPs and Applicatio...

引用

17th International Conference on Optical Networking Design and Modeling (ONDM)

作者： Liu, Zeyu Rouskas, George N. N Carolina State Univ Dept Comp Sci Raleigh NC 27695 USA

ISBN: (纸本)9781479904914

RWA is a fundamental problem in the design and control of optical networks. We propose link selection algorithms that reduce the size of the link-based ILP formulation for RWA by pruning redundant link decision variables. The resulting formulation scales well to mesh topologies representative of backbone and regional networks. In our experiments, the new formulation decreases the running time by more than two orders of magnitude without any impact on optimality. The link selection techniques are general in that they may be applied to any optimization problem for which the ILP formulation consists of multicommodity flow equations as its core constraints.

关键词： Mesh networks Networks of zones inductive logic programming Fiber optic networks Runtime Spine

来源：评论

学校读者我要写书评

暂无评论

Reduced Information Scenario for Shared Segment Protection

Reduced Information Scenario for Shared Segment Protection

引用

4th IEEE International Conference on Cognitive Infocommunications (CogInfoCom)

作者： Tapolcai, Janos Heszberger, Zalan Retvari, Gabor Biro, Jozsef Budapest Univ Technol & Econ Dept Telecommun & Media Informat MTA BME Lendulet Future Internet Res Grp Kassai Ut 26 H-4028 Debrecen Hungary Budapest Univ Technol & Econ Dept Telecommun & Media Informat MTA BME Informat Syst Res Grp Budapest Hungary Inter Univ Ctr Telecommun & Informat ETIK H-4028 Debrecen Hungary

ISBN: (纸本)9781479915439;9781479915460

This paper introduces a new implementation of Shared Segment Protection (SSP) in mesh communication networks, in which a novel Integer Linear Program (ILP) is proposed under a reduced amount of routing information. In particular, the scheme of Distributed Partial Information Management with Sufficient and Aggregated Information (DPIM-SAM) [1] will be adopted for trading the optimality with the reduction on the computation time. We will verify the ILP formulation by comparing its result with the cases of SSP and Path Shared Protection under the complete routing information scenario (SCI) in terms of performance and computation time.

关键词： computational time inductive logic programming Information management Sufficient Network routing networks(communications)

来源：评论

学校读者我要写书评

暂无评论

inductive equivalence in clausal logic and nonmonotonic logic programming

引用

MACHINE LEARNING 2011年第1期83卷 1-29页

作者： Sakama, Chiaki Inoue, Katsumi Wakayama Univ Dept Comp & Commun Sci Wakayama 6408510 Japan Natl Inst Informat Chiyoda Ku Tokyo 1018430 Japan

This paper provides a logical framework for comparing inductive capabilities among agents having different background theories. A background theory is called inductively equivalent to another background theory if the two theories induce the same hypotheses for any observation. Conditions of inductive equivalence change depending on the logic of representation languages and the logic of induction or inductive logic programming (ILP). In this paper, we consider clausal logic and nonmonotonic logic programs as representation languages for background theories. Then we investigate conditions of inductive equivalence in four different frameworks of induction, cautious induction , brave induction , learning from satisfiability , and descriptive induction . We observe that several induction algorithms in Horn ILP systems require weaker conditions of equivalence under restricted problem settings. We address that inductive equivalence can be used for verification and evaluation of induction algorithms, and argue problems for optimizing background theories in ILP.

关键词： inductive equivalence inductive logic programming Nonmonotonic logic programs

来源：评论

学校读者我要写书评

暂无评论

Minimized Spectral Resource Consumption with Rescaled Failure Probability Constraint in Flexible Bandwidth Optical Networks

Minimized Spectral Resource Consumption with Rescaled Failur...

引用

Conference on Optical Fiber Communication (OFC)/National Fiber Optic Engineers Conference (NFOEC)

作者： Chen, Bowen Zhang, Jie Zhao, Yongli Chen, Haining Huang, Shanguo Gu, Wanyi Jue, Jason P. Beijing Univ Posts & Telecommun State Key Lab Informat Photon & Opt Commun Beijing 100876 Peoples R China

We propose an ILP model and an efficient rescaled failure-probability-aware algorithm (RFPA) to minimize spectral resource consumption. Simulation results show that, compared to a traditional algorithm, both ILP model... 详细信息

ISBN: (纸本)9781557529626;9781479904570

关键词： Minimized Spectral Resource Resource utilization spectral efficiency failure probability inductive logic programming Fiber optic networks Bandwidth FLEXIBLE

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：