Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 128
Book Description
A Knowledge-Based Prototyping Environment for Construction of Scientific Modeling Software
Modeling and Using Context
Author: Patrick Blackburn
Publisher: Springer Science & Business Media
ISBN: 3540449582
Category : Computers
Languages : en
Pages : 537
Book Description
The refereed proceedings of the 4th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2003, held in Stanford, CA, USA in June 2003. The 31 full papers and 15 short papers presented were carefully reviewed, selected, and revised for inclusion in the book. The papers presented deal with the interdisciplinary topic of modeling and using context from various points of view, ranging through cognitive science, formal logic, artifical intelligence, computational intelligence, philosophical and psychological aspects, and information processing. Highly general philosophical and theoretical issues are complemented by specific applications in various fields.
Publisher: Springer Science & Business Media
ISBN: 3540449582
Category : Computers
Languages : en
Pages : 537
Book Description
The refereed proceedings of the 4th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2003, held in Stanford, CA, USA in June 2003. The 31 full papers and 15 short papers presented were carefully reviewed, selected, and revised for inclusion in the book. The papers presented deal with the interdisciplinary topic of modeling and using context from various points of view, ranging through cognitive science, formal logic, artifical intelligence, computational intelligence, philosophical and psychological aspects, and information processing. Highly general philosophical and theoretical issues are complemented by specific applications in various fields.
Scientific and Technical Aerospace Reports
Proceedings of the 11th Knowledge-based Software Engineering Conference
Author: IEEE Computer Society
Publisher: Institute of Electrical & Electronics Engineers(IEEE)
ISBN:
Category : Computers
Languages : en
Pages : 172
Book Description
Presents papers from the September 1996 conference discussing the application of automated reasoning, knowledge representation, and other artificial intelligence techniques to software engineering problems, with emphasis on constructing and working with software artifacts and processes using knowledge-based techniques. Coverage includes synthesis, verification and validation, knowledge-based environments, and reverse engineering, with papers on areas including applying plan recognition algorithms to program understanding, and synthesis of local search algorithms by algebraic means. No index. Annotation copyrighted by Book News, Inc., Portland, OR.
Publisher: Institute of Electrical & Electronics Engineers(IEEE)
ISBN:
Category : Computers
Languages : en
Pages : 172
Book Description
Presents papers from the September 1996 conference discussing the application of automated reasoning, knowledge representation, and other artificial intelligence techniques to software engineering problems, with emphasis on constructing and working with software artifacts and processes using knowledge-based techniques. Coverage includes synthesis, verification and validation, knowledge-based environments, and reverse engineering, with papers on areas including applying plan recognition algorithms to program understanding, and synthesis of local search algorithms by algebraic means. No index. Annotation copyrighted by Book News, Inc., Portland, OR.
Achievement and Assurance of Safety
Author: Felix Redmill
Publisher: Springer Science & Business Media
ISBN: 1447130030
Category : Computers
Languages : en
Pages : 338
Book Description
Each year there are improvements in safety-critical system technology. These arise both from developments in the contributing technologies, such as safety engineering, software engineering, human factors and risk assessment, and from the adoption or adaptation of appropriate techniques from other domains, such as security. For these improvements to be of real benefit, they need to be applied during the appropriate stage in the life cycle of the system, whether it be development, assessment, or operation. For this to occur, they must be communicated and explained. Each year the Safety-critical Systems Symposium offers a distinguished forum for the presentation of papers on such developments, and also for papers from industry on the lessons learned from the use of technologies and methods. The results of many collaborative research projects, with components from both industry and academia, are reported in a universally understandable form. In 1995 the Symposium was held in Brighton, a venue calculated to stimulate not just the presenters of papers, but all the delegates. Yet, this book of Proceedings is intended not only for the delegates but also for readers not able to attend the event itself. We welcome both categories of reader. Delegates have the benefit of attending the presentations and the opportunity to participate in the discussions; those who take up this book after the event can peruse it attheir leisure and, perhaps, on account of it will resolve to attend subsequent symposia.
Publisher: Springer Science & Business Media
ISBN: 1447130030
Category : Computers
Languages : en
Pages : 338
Book Description
Each year there are improvements in safety-critical system technology. These arise both from developments in the contributing technologies, such as safety engineering, software engineering, human factors and risk assessment, and from the adoption or adaptation of appropriate techniques from other domains, such as security. For these improvements to be of real benefit, they need to be applied during the appropriate stage in the life cycle of the system, whether it be development, assessment, or operation. For this to occur, they must be communicated and explained. Each year the Safety-critical Systems Symposium offers a distinguished forum for the presentation of papers on such developments, and also for papers from industry on the lessons learned from the use of technologies and methods. The results of many collaborative research projects, with components from both industry and academia, are reported in a universally understandable form. In 1995 the Symposium was held in Brighton, a venue calculated to stimulate not just the presenters of papers, but all the delegates. Yet, this book of Proceedings is intended not only for the delegates but also for readers not able to attend the event itself. We welcome both categories of reader. Delegates have the benefit of attending the presentations and the opportunity to participate in the discussions; those who take up this book after the event can peruse it attheir leisure and, perhaps, on account of it will resolve to attend subsequent symposia.
NASA Technical Memorandum
Proceedings of the 1999 ACM SIGMOD International Conference on Management of Data
Author: Alex Delis
Publisher:
ISBN:
Category : Data base management
Languages : en
Pages : 946
Book Description
Publisher:
ISBN:
Category : Data base management
Languages : en
Pages : 946
Book Description
Proceedings
Author:
Publisher:
ISBN:
Category : Geographic information systems
Languages : en
Pages : 896
Book Description
Publisher:
ISBN:
Category : Geographic information systems
Languages : en
Pages : 896
Book Description