Filters








244,107 Hits in 6.3 sec

Assisted Generation of Frame Conditions for Formal Models

Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015   unpublished
For this purpose, a systematic design methodology for the assisted generation of frame conditions is proposed.  ...  In this work, we aim for a solution which neither leaves the burden of generating frame conditions entirely on the designer (avoiding the introduction of another time-consuming and expensive design step  ...  DISCUSSION & CONCLUSION In this work, we considered the generation of frame conditions for behavioral formal models e.g. based on UML/OCL.  ... 
doi:10.7873/date.2015.0646 fatcat:zxojkyyj5zdxped2pkwps3uyg4

Page 218 of Computational Linguistics Vol. 24, Issue 2 [page]

1998 Computational Linguistics  
Specifically, we formalize the problem of generalizing values of a case frame slot for a given verb as that of estimating a conditional probability distribution over a partition of words, and propose a  ...  The remainder of this paper is organized as follows: In Section 2, we formalize the problem of generalizing values of a case frame slot as that of estimating a conditional distribution.  ... 

Automatic Generation of Update Rules to Enforce Consistency Constraints in Design Databases [chapter]

James Brawner, Bonnie MacKellar, Joan Peckham, James Vorbach
1998 Data Mining and Reverse Engineering  
Tests for integrity violations and repair actions are both generated during a single analysis.  ...  In this paper, we concentrate on the automatic generation of update rules from integrity constraints.  ...  Having the same formal semantics for constraints and update rules simplifies the correctness proof of the algorithm for generating update rules.  ... 
doi:10.1007/978-0-387-35300-5_16 fatcat:slzpt2g2nfa2jdxjj3lsr5zs2a

Engineering test cases to motivate the formalization of an AEC project model as a directed acyclic graph of views and dependencies

John Haymaker, Martin A. Fischer, John C. Kunz
2004 Journal of Information Technology in Construction  
We propose that engineers will benefit from expressive, generic, formal, and simple methods to iteratively construct a view by formalizing its dependency on other views, and control the integration of  ...  This process maps well to the way AEC projects work today and would result in an integrated yet emerging project model consisting of a directed acyclic graph of task-specific views and dependencies.  ...  conditions to assist in the routing of ducts.  ... 
dblp:journals/itcon/HaymakerFK04 fatcat:dr66hecr3ne6pfwdhpsszewsai

Artificial Intelligence in Medicine? [chapter]

Kazem Sadegh-Zadeh
2015 Philosophy and Medicine  
A frame description is proposed which includes features like states and events, inheritance and collaboration. States and events are formalized with qualitative calculus.  ...  It assisted in understanding the problem domain, and in the implementation stage, it assisted in building good inheritance hierarchies.  ...  Acknowledgments The support of European Community GALEN project is gratefully acknowledged. The authors thank Malcolm Talyor, Paul van der Vet, Ad Feelders and Nicolaas Mars for their contributions.  ... 
doi:10.1007/978-94-017-9579-1_21 fatcat:ptiw4n7erngjnp3ldpecru3enm

Artificial intelligence in medicine

Pavel Hamet, Johanne Tremblay
2017 Metabolism: Clinical and Experimental  
A frame description is proposed which includes features like states and events, inheritance and collaboration. States and events are formalized with qualitative calculus.  ...  It assisted in understanding the problem domain, and in the implementation stage, it assisted in building good inheritance hierarchies.  ...  Acknowledgments The support of European Community GALEN project is gratefully acknowledged. The authors thank Malcolm Talyor, Paul van der Vet, Ad Feelders and Nicolaas Mars for their contributions.  ... 
doi:10.1016/j.metabol.2017.01.011 pmid:28126242 fatcat:hmp2zi2ahzd5ze7lcldvzjhuuu

Artificial intelligence in medicine

AN Ramesh, C Kambhampati, JRT Monson, PJ Drew
2004 Annals of the Royal College of Surgeons of England  
A frame description is proposed which includes features like states and events, inheritance and collaboration. States and events are formalized with qualitative calculus.  ...  It assisted in understanding the problem domain, and in the implementation stage, it assisted in building good inheritance hierarchies.  ...  Acknowledgments The support of European Community GALEN project is gratefully acknowledged. The authors thank Malcolm Talyor, Paul van der Vet, Ad Feelders and Nicolaas Mars for their contributions.  ... 
doi:10.1308/147870804290 pmid:15333167 pmcid:PMC1964229 fatcat:er2vn5krqbf2ffe2qjjhcazshq

An object-oriented approach to knowledge representation in a biomedical domain

Marco Ensing, Ray Paton, Piet-Hein Speel, Roy Rada
1994 Artificial Intelligence in Medicine  
A frame description is proposed which includes features like states and events, inheritance and collaboration. States and events are formalized with qualitative calculus.  ...  It assisted in understanding the problem domain, and in the implementation stage, it assisted in building good inheritance hierarchies.  ...  Acknowledgments The support of European Community GALEN project is gratefully acknowledged. The authors thank Malcolm Talyor, Paul van der Vet, Ad Feelders and Nicolaas Mars for their contributions.  ... 
doi:10.1016/0933-3657(94)90025-6 pmid:7858660 fatcat:tlek7vrusncxlht3xxxjuut2sm

Artificial Intelligence in Medicine [chapter]

LOUIS SASMOR, EDWARD D. SMITH
1988 Handbook of Biomedical Engineering  
A frame description is proposed which includes features like states and events, inheritance and collaboration. States and events are formalized with qualitative calculus.  ...  It assisted in understanding the problem domain, and in the implementation stage, it assisted in building good inheritance hierarchies.  ...  Acknowledgments The support of European Community GALEN project is gratefully acknowledged. The authors thank Malcolm Talyor, Paul van der Vet, Ad Feelders and Nicolaas Mars for their contributions.  ... 
doi:10.1016/b978-0-12-415145-1.50023-2 fatcat:io2r7fz72vhmlhcz6jrf3yoite

Consequences of staff composition in Norwegian kindergarten

Gerd Sylvi Steinnes, Peder Haug
2013 Nordisk Barnehageforskning  
The main question in this study is related to how the composition and formal competence of staff can affect the division of labor in Norwegian kindergarten.  ...  The article discusses the distribution of activities between kindergarten teachers and assistants, and what characterizes the two groups' responsibilities at work.  ...  The frame system In short, the conditions of the frame system reflect how kindergarten has been made capable of respecting and satisfying the regulations in the other two systems.  ... 
doi:10.7577/nbf.400 fatcat:m6rq7pdizncvjdbavjarwteppy

Book announcements

1983 Discrete Applied Mathematics  
The Shape of Systems to Come. Rationale for the Study of a Generalized Problem Processor. Conclusion. References. Chapter 5: Formalizations of Purposive Systems.  ...  Rockafellar: Optimality conditions for convex control problems with nonnegative states and the possibility of jumps. S. Rolewicz: On sufficient conditions of optimality for Lipschitzian functions. M.  ... 
doi:10.1016/0166-218x(83)90005-7 fatcat:v2bnnktksngdxdrsyx2mbgo4g4

A theorem prover and countermodel constructor for provability logic in HOL Light [article]

Marco Maggesi, Cosimo Perini Brogi
2022 arXiv   pre-print
We discuss our code for the formal proof of modal completeness, and the design of our proof search algorithm. Furthermore some examples of both interactive and automated use of the latter are shown.  ...  We introduce our implementation in HOL Light of a prototype of a general theorem prover for normal modal logics. In the present work, we start by considering G\"odel-L\"ob provability logic (GL).  ...  We use relational models -aka Kripke models 3 . Formally, a Kripke frame is made of a non-empty set 'of possible worlds' W, together with a binary relation R on W.  ... 
arXiv:2205.03659v1 fatcat:5ik6aviqlfgafb5rwkh75bhsu4

A formal proof of modal completeness for provability logic [article]

Marco Maggesi, Cosimo Perini Brogi
2021 arXiv   pre-print
Moreover, we propose a reflection on our own experience in using this specific theorem prover for this formalization task, with an analysis of pros and cons of reasoning within and about the formal system  ...  This work presents a formalized proof of modal completeness for G\"odel-L\"ob provability logic (GL) in the HOL Light theorem prover.  ...  tools of any other general proof assistant -do not look peculiarly satisfactory for pursuing investigations on derivability within axiomatic systems.  ... 
arXiv:2102.05945v1 fatcat:s7mdipd77rgovpqnmlcj3siwny

A formal executable specification of the GinMAC protocol for Wireless Sensor Actuator Networks

Admar Ajith Kumar Somappa, Lars Michael Kristensen, Knut Ovsthus
2013 International Symposium on Wireless and pervasive Computing (ISWPC)  
In this article, we provide a formal executable specification for the GinMAC protocol. With this formal executable we precisely capture the abstract features of this protocol and analyze it.  ...  This formal executable is platform independent and can be used as a basis for further analysis of the protocol or any protocol extensions that are made to this protocol.  ...  The focus of this article is to provide a platform independent formal executable high level model specification for the GinMAC protocol. This modeling is done using CPN.  ... 
doi:10.1109/iswpc.2013.6707433 dblp:conf/iswpc/SomappaKO13 fatcat:y24rxe2wwbad3lsr7urc4mkpsq

Developing the models of patterns in the design of requirements to an information system at the knowledge level

Viktor Levykin, Maksym Ievlanov, Olga Neumyvakina
2017 Eastern-European Journal of Enterprise Technologies  
Models of these morphisms will, accordingly, take the form: _ _ _ _ 1 : For a model of pattern Pt if , conditions of existence of single morphisms are similar to conditions, described in [28] , and models  ...  of these morphisms will respectively take the form: For model of pattern Pt fr_rel , conditions of existence of single morphisms are similar to conditions, described in [28] and models of these morphisms  ...  DEVELOPMENT OF THE METHOD OF FEATURES LEARNING AND TRAINING DECISION RULES FOR THE PREDICTION OF VIOLATION OF SERVICE LEVEL AGREEMENT IN A CLOUD-BASED ENVIRONMENT V .  ... 
doi:10.15587/1729-4061.2017.110586 fatcat:qerzqol5mjhabb5lefgwdkdsxy
« Previous Showing results 1 — 15 out of 244,107 results