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

A syntax-directed hoare logic for object-oriented programming concepts

6th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2003

作者： Pierik, Cees de Boer, Frank S. Institute of Information and Computing Sciences Utrecht University Netherlands CWI Amsterdam Netherlands

ISBN: (纸本)3540204911

this paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculus for assignments and object-creation, as well as Hoare rules for reasoning about (mutually recursive) method invocations with dynamic binding. Our approach enables reasoning at an abstraction level that coincides with the general abstraction level of object-oriented languages. © IFIP international Federation for Information Processing 2003.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

15th international conference on Computer Aided Verification, CAV 2003

引用

15th international conference on Computer Aided Verification, CAV 2003

ISBN: (纸本)3540405240

the proceedings contain 41 papers. the special focus in this conference is on Extending Bounded Model Checking and Symbolic Model Checking. the topics include: Interpolation and SAT-based model checking;bounded model checking and induction;reasoning with temporal logic on truncated paths;structural symbolic CTL model checking of asynchronous systems;a work-efficient distributed algorithm for reachability analysis;modular strategies for infinite games on recursive graphs;fast mu-calculus model checking when tree-width is bounded;dense counter machines and verification problems;model checking multi-agent programs with CASP;monitoring temporal rules combined with time series;fast acceleration of symbolic transition systems tool for BDD-based verification of real-time systems;how to eliminate redundant predicates;a symbolic approach to predicate abstraction;unbounded, fully symbolic model checking of timed automata using boolean methods;digitizing interval duration logic;timed control with partial observability;hybrid acceleration using real vector automata;abstraction and BDDs complement SAT-based BMC in diver;a temporal logic query checker;a tool for exploring model-checking proofs;an automatic tool for verification of secrecy in security protocols;iterating transducers in the large;algorithmic improvements in regular model checking;thread-modular abstraction refinement;a game-based framework for CTL counterexamples and 3-valued abstraction-refinement;abstraction for branching time properties;certifying optimality of state estimation programs;domain-specific optimization in automata learning;model checking conformance with scenario-based specifications;deductive verification of advanced out-of-order microprocessors;theorem proving using lazy proof explication and enhanced vacuity detection in linear temporal logic.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Agents that reason and learn

Agents that reason and learn

引用

13th international conference, ILP 2003

作者： Lloyd, John W. Res. Sch. of Info. Sci. and Eng. Australian National University Canberra ACT 0200 Australia

ISBN: (纸本)9783540399179

the issues related to designing architectures for agents that need to be able to adapt to changing circumstances during deployment are discussed. this research is being carried out in the context of the Smart Internet technology Cooperative Research Center. the first attempt in this project at an architecture involves integrating BDI agent architectures for the reasoning component and reinforcement learning for the learning component. In the research, the learning system used to approximate the Q-function is ALKEMY, a decision-tree learning system with a foundation in higher-order logic.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

9th international conference on Principles and Practice of Constraint programming, CP 2003

引用

9th international conference on Principles and Practice of Constraint programming, CP 2003

ISBN: (纸本)3540202021

the proceedings contain 126 papers. the special focus in this conference is on Principles and Practice of Constraint programming. the topics include: Recent progress in propositional reasoning and search;a new application area for search algorithms;languages versus packages for constraint problem solving;constraint patterns;control abstractions for local search;improved algorithms for counting solutions in constraint satisfaction problems;boosting chaff’s performance by incorporating CSP heuristics;efficient CNF encoding of boolean cardinality constraints;a two-stage hybrid algorithm for pickup and delivery vehicle routing problems with time windows;solving finite domain constraint hierarchies by local consistency and tree search;a constraint programming application to staff scheduling in health care;constraint-based optimization with the minimax decision criterion;an algebraic approach to multi-sorted constraints;polynomial-time algorithms;box constraint collections for adhoc constraints;propagation redundancy in redundant modelling;complexity and multimorphisms;constraint satisfaction differential problems;a wealth of sat distributions with planted assignments;redundant modeling for the quasigroup completion problem;open constraint optimization;constraints for breaking more row and column symmetries;generic SBDD using computational group theory;using stochastic local search to solve quantified boolean formulae;solving max-SAT as weighted CSP;constraint reasoning over strings;tractability by approximating constraint languages;constraints for probabilistic reasoning in logic programming;constraint programming for modelling and solving modal satisfiability;distributed forward checking and a new class of binary CSPs for which arc-consistency is a decision procedure.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Ontology-based medical image annotation with description logics

Ontology-based medical image annotation with description log...

引用

international conference on Tools for artificial intelligence (ICTAI)

作者： Bo Hu S. Dasmahapatra P. Lewis N. Shadbolt Department of Electronics and Computer Science University of Southampton UK

the interpretation of medical evidence is normally presented in terms of a controlled, but diversely expressed specialist vocabulary and natural language phrases. Such informally expressed data require human intervention to ascertain its relevance in any specific case. In order to facilitate machine-based reasoning about the evidence gathered, additional interpretive semantics must be attached to the data; a shift from a merely data-intensive approach to a semantics-rich model of evidence. In this paper, we present a system to formally annotate medical images captured to aid the diagnosis and management of breast cancer, that enables a series of semantics-based operations to be performed. Our approach is grounded upon an imaging ontology specifying the domain knowledge and a description logic (DL) taxonomic inferential engine responsible for semantics-based reasoning and image retrieval.

关键词： Ontologies Biomedical imaging logic Medical diagnostic imaging Vocabulary Natural languages Humans Breast cancer Engines Image retrieval

来源：评论

学校读者我要写书评

暂无评论

Monad-independent Hoare logic in HasCasl

引用

6th international conference on Fundamental Approaches to Software Engineering, FASE 2003 Held as Part of the Joint European conferences on theory and Practice of Software, ETAPS 2003

作者： Schröder, Lutz Mossakowski, Till BISS Department of Computer Science University of Bremen Germany

ISBN: (纸本)3540008993

Monads have been recognized by Moggi as an elegant device for dealing with stateful computation in functional programming languages. It is thus natural to develop a Hoare calculus for reasoning about computational monads. While this has previously been done only for the state monad, we here provide a generic, monad-independent approach, which applies also to further computational monads such as exceptions, input/output, and non-determinism. All this is formalized within the logic of HasCasl, a higher-order language for functional specification and programming. Combination of monadic features can be obtained by combining their loose specifications. As an application, we prove partial correctness of Dijkstra’s nondeterministic version of Euclid’s algorithm in a monad with nondeterministic dynamic references. © Springer-Verlag Berlin Heidelberg 2003.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

4th international and Interdisciplinary conference on Modeling and Using Context, CONTEXT 2003

引用

4th international and Interdisciplinary conference on Modeling and Using Context, CONTEXT 2003

ISBN: (纸本)9783540403807

the proceedings contain 45 papers. the special focus in this conference is on Modeling and Using Context. the topics include: Presupposition incorporation in adverbial quantification;a theory of contextual propositions for indicatives;context-sensitive weights for a neural network;a sat-based algorithm for context matching;on the difference between bridge rules and lifting axioms;context dynamic and explanation in contextual graphs;a deduction theorem for normal modal propositional logic;communicative contributions and communicative genres;language production and language understanding in context;effects of context on the description of olfactory properties;a unified context-aware application model;contextual effects on word order;a generic framework for context-based distributed authorizations;unpacking meaning from words;a contextual approach to the logic of fiction;predictive visual context in object detection;copular questions and the common ground;contextual coherence in natural language processing;a logical formalization of database coordination;dynamic contextual intensional logic;a set-free ontological model of interpretation and evaluation contexts;a mathematical model for context and word-meaning;perceiving action from static images;determining context cues in mobile telephony;a formalism for context representation;contextual modeling using context-dependent feedforward neural nets;context-based commonsense reasoning in the Dali logic programming language;an ontology for mobile device sensor-based context awareness;the use of contextual information in a proactivity model for conversational agents and exploiting dynamicity for the definition and parsing of context sensitive grammars.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An intelligent early warning system for software quality improvement and project management

An intelligent early warning system for software quality imp...

引用

international conference on Tools for artificial intelligence (ICTAI)

作者： Xiaoqing Liu G. Kane M. Bambroo Department of Computer Science University of Missouri Rolla USA

One of the main reasons behind unfruitful software development projects is that it is often too late to correct the problems by the time they are detected. It clearly indicates the need for early warning about the potential risks. In this paper, we discuss an intelligent software early warning system based on fuzzy logic using an integrated set of software metrics. It helps to assess risks associated with being behind schedule, over budget, and poor quality in software development and maintenance from multiple perspectives. It handles incomplete, inaccurate, and imprecise information, and resolve conflicts in an uncertain environment in its software risk assessment using fuzzy linguistic variables, fuzzy sets, and fuzzy inference rules. Process, product, and organizational metrics are collected or computed based on solid software models. the intelligent risk assessment process consists of the following steps: fuzzification of software metrics, rule firing, derivation and aggregation of resulted risk fuzzy sets, and defuzzification of linguistic risk variables.

关键词： Intelligent systems Alarm systems Software quality Project management Fuzzy sets programming Software metrics Risk management Software systems Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

Application of an attribute selection method to CBR-based software quality classification

Application of an attribute selection method to CBR-based so...

引用

international conference on Tools for artificial intelligence (ICTAI)

作者： T.M. Khoshgoftaar L. Nguyen K. Gao J. Rajeevalochanam Department of Computer Science Engineering Emparical Software Engineering Laboratory Florida Atlantic University Boca Raton FL USA

this study investigates the attribute selection problem for reducing the number of software metrics (program attributes) used by a case-based reasoning (CBR) software quality classification model. the metrics are selected using the Kolmogorov-Smirnov (K-S) two sample test. the "modified expected cost of misclassification" measure, recently proposed by our research team, is used as a performance measure to select, evaluate, and compare classification models. the attribute selection procedure presented in this paper can assist a software development organization in determining the software metrics that are better indicators of software quality. By reducing the number of software metrics to be collected during the development process, the metrics data collection task can be simplified. Moreover, reducing the number of metrics would result in reducing the computation time of a CBR model. Using an empirical case study of a real-world software system, it is shown that with a reduced number of metrics the CBR technique is capable of yielding useful software quality classification models. Moreover, their performances were better than or similar to CBR models calibrated without attribute selection.

关键词： Application software Software quality Software metrics Testing Costs programming Software systems

来源：评论

学校读者我要写书评

暂无评论

logic programming and knowledge representation - the A-Prolog perspective

引用

artificial intelligence 2002年第1-2期138卷 3-38页

作者： Gelfond, M Leone, N Texas Tech Univ Dept Comp Sci Lubbock TX 79409 USA Univ Calabria Dept Math I-87030 Arcavacata Di Rende CS Italy

In this paper we give a short introduction to logic programming approach to knowledge representation and reasoning. the intention is to help the reader to develop a 'feel' for the field's history and some of its recent developments. the discussion is mainly limited to logic programs under the answer set semantics. For understanding of approaches to logic programming built on well-founded semantics, general theories of argumentation, abductive reasoning, etc., the reader is referred to other publications. (C) 2002 Elsevier Science B.V. All rights reserved.

关键词： logic programming nonmonotonic reasoning default reasoning answer set programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：