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

23rd Australasian computer Science Conference, ACSC 2000

作者： Naish, L. Dept. of Computer Science and Software Engineering University of Melbourne Parkville3052 Australia

ISBN: (纸本)076950518X

Declarative debugging has many advantages over conventional approaches to debugging for logic and functional programs. This paper extends a previously defined scheme for declarative debugging in which computations were considered either correct or erroneous. We argue that a third value, "inadmissible", should be supported and show how this can be done. Two classes of bugs are defined: one equivalent to the bugs defined by the two valued scheme, the other associated with inadmissibility: it is shown how different instances of the scheme can be used to diagnose type errors, mode errors, violated assertions and abnormal termination as well as the more familiar classes of bugs detected by declarative debuggers. © 2000 IEEE.

关键词： Program debugging

来源：评论

学校读者我要写书评

暂无评论

A three-valued semantic for Horn clause programs 23

A three-valued semantic for Horn clause programs

引用

23rd Australasian computer Science Conference, ACSC 2000

作者： Naish, L. Dept. of Computer Science and Software Engineering University of Melbourne Parkville3052 Australia

ISBN: (纸本)076950518X

The study of semantics of logic programs has shown strong links between the model theoretic semantics (truth and falsity of atoms in the programmer's interpretation of a program), procedural semantics (for example, SLD resolution) and fixpoint semantics (which is useful for program analysis and alternative execution mechanisms). Nearly all of this work assumes that intended interpretations are two-valued: a ground atom is true (and should succeed according to the procedural semantics) or false (and should not succeed). In reality, intended interpretations are less precise. Programmers consider that some atoms "should not occur" or are "ill-typed" or "inadmissible". Programmers don't know and don't care whether such atoms succeed. In this paper we propose a three-valued semantics for (essentially) Horn clause programs which reflects this. It is simpler and more flexible than previously proposed type schemes and more flexible than previously proposed type schemes which implicitly recognise this third truth value. It provides tools to reason about correctness of programs without the need for unnatural precision or undue restrictions on programming style. This work has been motivated by work on declarative debugging, where it has been recognised that inadmissible calls are important. © 2000 IEEE.

关键词： Atoms

来源：评论

学校读者我要写书评

暂无评论

An open electronic marketplace through agent-based workflows: MOPPET

引用

International Journal on Digital Libraries 2000年第1期3卷 36-59页

作者： Arpinar, Sena Dogac, Asuman Tatbul, Nesime Software Research and Development Center Dept. of Computer Engineering Middle East Technical University (METU) 06531 Ankara Turkey

We propose an electronic marketplace architecture, called MOPPET, where the commerce processes in the marketplace are modeled as adaptable agent-based workflows. The higher level of abstraction provided by the workflow technologymakes the customization of electronic commerce processes for different users possible. Agent-based implementation, on the other hand, provides for a highlyreusable component-based workflow architecture as well as negotiation abilityand the capability to adapt to dynamic changes in the environment. Agent communication is handled through Knowledge Queryand Manipulation Language (KQML). A workflow-based architecture also makes it possible for complete modeling of electronic commerce processes byallowing involved parties to be able to invoke alreadyexisting applications or to define new tasks and to re-structure the control and data flow among the tasks to create custom built process definitions. In the proposed architecture all data exchanges are realized through Extensible Markup Language (XML) providing uniformity, simplicity and a highlyopen and interoperable architecture. Metadata of activities are expressed through Resource Description Framework (RDF). Common Business Library(CBL) is used for achieving interoperabilityacross business domains and domain specific Document Type Definitions (DTDs) are used for vertical industries. We provide our own specifications for missing DTDs to be replaced bythe original specifications when theybecome available. © 2000 Springer-Verlag.

关键词： Agent Common business library(CBL) Electronic marketplace Extensible markup language (XML) Workflow

来源：评论

学校读者我要写书评

暂无评论

Efficient range query retrieval for non-uniform data distributions 11

Efficient range query retrieval for non-uniform data distrib...

引用

11th Australasian Database Conference, ADC 2000

作者： Mohammed, S. Harris, E.P. Ramamohanarao, K. Department of Computer Technology Monash University CaulfieldVIC Australia Dept. of Computer Science and Software Engineering University of Melbourne VIC3010 Australia

ISBN: (纸本)0769505287

Answering range queries is a common database operation. Methods based on hashing techniques to minimise the cost of answering range queries by taking the query distribution into account have previously been proposed. These methods have all assumed a uniform distribution of data to disk pages to achieve good performance. This assumption makes them less useful in practice because most real data distributions are non-uniform. In this paper, we discuss a method to eliminate this restriction. Extensive experimentation using a multi-dimensional file structure, the BANG file, indicates that our method results in good performance for all data distributions. In one case an improvement of over 36 times was achieved without compromising the storage utilisation. Our method also results in a stable and efficient file organisation. If the query distribution does not change substantially, an optimised file organisation rarely requires reorganisation. © 2000 IEEE.

关键词： Digital storage

来源：评论

学校读者我要写书评

暂无评论

Reverse engineering: A roadmap 00

Reverse engineering: A roadmap

引用

2000 Conference on the Future of software engineering, ICSE 2000

作者： Miiller, Hausi A. Jahnke, Jens H. Smith, Dennis B. Storey, Margaret-Anne Tilley, Scott R. Wong, Kenny Dept. of Computer Science University of Victoria Canada Software Engineering Institute Carnegie Mellon University United States Dept. of Computer Science University of California Riverside United States Dept. of Computing Science University of Albena Canada

ISBN: (纸本)1581132530

By the early 1990s the need for reengineering legacy systems was already acute, but recently the demand has increased significantly with the shift toward web-based user interfaces. The demand by all business sectors to adapt their information systems to the Web has created a tremendous need for methods, tools, and infrastructures to evolve and exploit existing applications efficiently and cost-effectively. Reverse engineering has been heralded as one of the most promising technologies to combat *** systems problem. This paper presents a roadmap for reverse engineering research for the first decade of the new millennium, building on the program comprehension theories of the 1980s and the reverse engineering technology of the 1990s. © ACM 2000.

关键词： Reverse engineering

来源：评论

学校读者我要写书评

暂无评论

Continuations for parallel logic programming 00

Continuations for parallel logic programming

引用

Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'00)

作者： Todoran, Eneia Papaspyrou, Nikolaos S. Technical University of Cluj-Napoca Dept. of Computer Science Parallel/Distributed Syst. Lab. Baritiu Str. 28 3400 Cluj-Napoca Romania Natl. Technical University of Athens Dept. of Elec./Computer Engineering Software Engineering Laboratory 15780 Zografou Greece

ISBN: (纸本)1581132654

This paper gives denotational models for three logic programming languages of progressive complexity, adopting the "logic programming without logic" approach. The first language is the control flow kernel of sequential Prolog, featuring sequential composition and backtracking. A committed-choice concurrent logic language with parallel composition (parallel AND) and don't care nondeterminism is studied next. The third language is the core of Warren's basic Andorra model, combining parallel composition and don't care nondeterminism with two forms of don't know nondeterminism (interpreted as sequential and parallel OR) and favoring deterministic over nondeterministic computation. We show that continuations are a valuable tool in the analysis and design of semantic models for both sequential and parallel logic programming. Instead of using mathematical notation, we use the functional programming language Haskell as a metalanguage for our denotational semantics, and employ monads in order to facilitate the transition from one language under study to another.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

Evolutionary programming-based fuzzy logic path planner and follower for mobile robots

Evolutionary programming-based fuzzy logic path planner and ...

引用

2000 Congress on Evolutionary Computation, CEC 2000

作者： Lee, Moon-Su Jung, Myung-Jin Kim, Jong-Hwan Dept. of Computer and Software ETRI 161 Kajong-Dong Yusongn-Gu TaeJon 305-350 Korea Republic of Dept. of Eelecvical Engineering KAIST 373-1 Kusong-Dong Yusong-Gu TaeJon 305-701 Korea Republic of

ISBN: (纸本)0780363752

A fuzzy logic controller (FLC) for mobile robots is designed in a hierarchical structure. The designed FLC consists of two levels: the planner level and the motion control level. The planner level generates a path to the destination with obstacle avoidance. The singleton outputs of the planner are obtained using line and arc methods. The lower motion control level calculates the robot's wheel velocity so as to follow the path generated by the planner as to the current robot posture. The fuzzy singleton outputs are obtained by heuristics and tuned by evolutionary programming. The applicability of the controller is demonstrated using a robot soccer system. © 2000 IEEE.

关键词： Motion control

来源：评论

学校读者我要写书评

暂无评论

Efficient specialisation in prolog using the hand-written compiler generator LOGEN

Efficient specialisation in prolog using the hand-written co...

引用

WOID'99, Workshop on Optimization and Implementation of Declarative Programs (in Connetion with ICLP'99, International Conference on Logic)

作者： Leuschel, Michael Jørgensen, Jesper Declarative Systems and Software Engineering Dept. of Electronics and Computer Science University of Southampton Southampton SO17 1BJ United Kingdom Dept. of Mathematics and Physics Royal Veterinary and Agricultural University Thorvaldsensvej 40 DK-1871 Frederiksberg C Denmark

The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evaluation of both functional and imperative languages. In earlier work we have shown that this approach is also applicable to partial evaluation of logic programming languages, also called partial deduction. In this paper we extend upon this by allowing partially instantiated datastructures (via binding types), which are especially important in the context of logic programming. We also extend cogen to directly support a large part of Prolog's declarative and non-declarative features and how semi-online specialisation can be efficiently integrated. Benchmarks show that the resulting cogen is very efficient, generates very efficient generating extensions (executing up to several orders of magnitude faster than current online systems) which in turn perform very good and non-trivial specialisation, even rivalling existing online systems. © 2000 Published by Elsevier Science B.V.

关键词： Program compilers

来源：评论

学校读者我要写书评

暂无评论

Using product, process, and execution metrics to predict fault-prone software modules with classification trees 5

Using product, process, and execution metrics to predict fau...

引用

5th IEEE International Symposium on High Assurance Systems engineering, HASE 2000

作者： Khoshgoftaar, T.M. Shan, R. Allen, E.B. Florida Atlantic University Boca RatonFL United States Mississippi State University MS United States Empirical Software Engineering Laboratory Dept. of Computer Science and Engineering Florida Atlantic University Boca RatonFL33431 United States

ISBN: (纸本)0769509274

software-quality classification models can make predictions to guide improvement efforts to those modules that need it the most. Based on software metrics, a model can predict which modules will be considered fault-prone, or not. We consider a module fault-prone if any faults were discovered by customers. Useful predictions are contingent on the availability of candidate predictors that are actually related to faults discovered by customers. With a diverse set of candidate predictors in hand, classification-tree modeling is a robust technique for building such software quality models. This paper presents an empirical case study of four releases of a very large telecommunications system. The case study used the regression-tree algorithm in the S-Plus package and then applied our general decision rule to classify modules. Results showed that in addition to product metrics, process metrics and execution metrics were significant predictors of faults discovered by customers. © 2000 IEEE.

关键词： Principal component analysis

来源：评论

学校读者我要写书评

暂无评论

Performance evaluation of line drawing recognition systems

Performance evaluation of line drawing recognition systems

引用

15th International Conference on Pattern Recognition, ICPR 2000

作者： Chhabra, Atul K. Phillips, Ihsin T. Bell Atlantic Network Systems Advanced Technology White PlainsNY10604 United States Computer Science/Software Engineering Dept. Seattle University SeattleWA98122 United States

ISBN: (纸本)0769507506

Presents the results of the third international graphics recognition contest. We evaluated the performance of four different vectorization systems on scanned images of CAD drawings. The EditCost Index was used for comparative evaluation of the systems. The performance curves of the systems on the test images are presented in this paper. © 2000 IEEE.

关键词： Pattern recognition

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：