Filters








3,105,090 Hits in 7.2 sec

Structured objects: Modeling and reasoning [chapter]

Diego Calvanese, Giuseppe Giacomo, Maurizio Lenzerini
1995 Lecture Notes in Computer Science  
We demonstrate our approach b y presenting a new data model, called CVL, that extends the usual object-oriented data models with several aspects, including view de nition, recursive structure modeling,  ...  The research w ork reported in this paper explores the possibility of enhancing the power of object-oriented data models in schema de nition, thus o ering more possibilities to reason about the intension  ...  The similarity b e t ween the interpretative structures in object-oriented models and labeled transition systems re ects in a similarity b e t ween object-oriented models and modal logics of programs,  ... 
doi:10.1007/3-540-60608-4_43 fatcat:cu7ie3xiynbohilnsme4ifoh3m

Probabilistic Model Checking and Non-standard Multi-objective Reasoning [chapter]

Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Marcus Daum, Joachim Klein, Steffen Märcker, Sascha Wunderlich
2014 Lecture Notes in Computer Science  
probabilistic model checkers.  ...  Many performance measures that have been identified as highly relevant by the respective domain experts refer to multiple objectives and require a good balance between two or more cost or reward functions  ...  research centre HAEC (SFB 912), the cluster of excellence cfAED, Deutsche Telekom Stiftung, the ESF young researcher group IMData (100098198), the Graduiertenkolleg QuantLA (1763) the DFG/NWO-project ROCKS, and  ... 
doi:10.1007/978-3-642-54804-8_1 fatcat:csy2e7dzcfhmdhcdykcixfioki

Reasoning with specifications containing method calls and model fields

David R. Cok
2005 Journal of Object Technology  
Furthermore, the techniques used are applicable to other specification constructs such as quantifiers and model variables.  ...  Allowing method invocations in program specifications increases modularity and comprehensibility and is as important in specifications as it is in the program itself.  ...  Reasoning with immutable objects is potentially simpler and more efficient than with typical mutable objects.  ... 
doi:10.5381/jot.2005.4.8.a4 fatcat:s33kxoynf5b6tlaudl2j3ajvja

A Causal And-Or Graph Model for Visibility Fluent Reasoning in Tracking Interacting Objects [article]

Yuanlu Xu, Lei Qin, Xiaobai Liu, Jianwen Xie, Song-Chun Zhu
2018 arXiv   pre-print
We introduce a Causal And-Or Graph (C-AOG) to represent the causal-effect relations between an object's visibility fluent and its activities, and develop a probabilistic graph model to jointly reason the  ...  We formulate this joint task as an iterative search of a feasible causal graph structure that enables fast search algorithm, e.g., dynamic programming method.  ...  object tracking and fluent reasoning; and (iii) a new occlusion reasoning dataset to cover objects with diverse fluent changes.  ... 
arXiv:1709.05437v2 fatcat:c65lzb75kjh2lkqw5jmr3xfkly

Cognitive Processes in Object-Oriented Requirements Engineering Practice: Analogical Reasoning and Mental Modelling [chapter]

Linda Dawson
2013 Information Systems Development  
This chapter presents a background in cognitive processes such as problem-solving and analogical reasoning for considering modelling from an object-oriented perspective within the domain of requirements  ...  Abstract This paper presents a background in cognitive processes such as problem solving and analogical reasoning for considering modeling from an object-oriented perspective within the domain of requirements  ...  Gentner's (1983) structured mapping theory which consists of objects with attributes and relations between objects can be mapped directly to OO modelling approaches for RE.  ... 
doi:10.1007/978-1-4614-4951-5_10 dblp:conf/isdevel/Dawson11 fatcat:5bsq5alfvjbtlnihifgl2kud6q

Searching and describing objects in satellite images on the basis of modeling reasoning

D.R. Kasimov
2020 Computer Optics  
The article presents an approach to a problem of contextual search and description of objects in raster satellite images, which consists in modeling reasoning on the basis of structured cases.  ...  The results of the experiment show that reasoning based on structured cases allows refining the results of classification and increasing the reliability of object recognition in satellite images.  ...  Литература Searching and describing objects in satellite images on the basis of modeling reasoning Abstract The article presents an approach to a problem of contextual search and description of objects  ... 
doi:10.18287/2412-6179-co-716 fatcat:3u3hjbby6jdglfvqf7pn6mj4b4

Reasoning about classes in object-oriented languages: Logical models and tools [chapter]

Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews
1998 Lecture Notes in Computer Science  
This allows us to reason about these specifications.  ...  A formal language CCSL is introduced for describing specifications of classes in object-oriented languages. We show how class specifications in CCSL can be translated into higher order logic.  ...  One of the reasons, we think, is that there is no generally accepted formal computational model for object-oriented programming. Such a model is needed as domain of reasoning.  ... 
doi:10.1007/bfb0053566 fatcat:s7jrg52v5jeqhmvh4sckz7ljvi

Ontology-Based Framework of Robot Context Modeling and Reasoning for Object Recognition [chapter]

Wonil Hwang, Jinyoung Park, Hyowon Suh, Hyungwook Kim, Il Hong Suh
2006 Lecture Notes in Computer Science  
This paper introduces Multi-layered Context Ontology Framework (MLCOF) for comprehensive, integrated robot context modeling and reasoning for object recognition.  ...  Thus, MLCOF enables to model integrated robot context information from a low level image to high level object and space semantics.  ...  Acknowledgement This work is supported by the Intelligent Robotics Development Program, one of the 21st Century Frontier R&D Programs funded by the Korea Ministry of Commerce, Industry and Energy.  ... 
doi:10.1007/11881599_71 fatcat:k6u3wymkobejxnwb3pf7jzh7ve

Objects, Words and Actions: Some Reasons Why Embodied Models are Badly Needed in Cognitive Psychology [chapter]

Anna M. Borghi, Daniele Caligiore, Claudia Scorolli
2010 Applications of Mathematics in Models, Artificial Neural Networks and Arts  
For these reason a model like this cannot capture and cannot predict the fact that an upper part is processed faster when moving upwards than when moving downwards.  ...  In synthesis: an appropriate model of experiments such as the reported ones should be an embodied model, endowed with at least some crucial characteristics of human neural structure (neural network), and  ... 
doi:10.1007/978-90-481-8581-8_4 fatcat:oy43527qgzaizmuoum5xetazle

Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells [chapter]

Rafael M. Gasca, Juan A. Ortega, Miguel Toro
2001 Lecture Notes in Computer Science  
In practical applications of configuration tasks the BCCs and configuration goals are represented according to object-oriented programming paradigm.  ...  They are built by means of the predefined components and connections of the given configuration problem.  ...  A structural constraint-based reasoning is modeled by means of the following steps: Generation of the NCSP by means of BCC Objects and application of a constraint solver with the corresponding heuristic  ... 
doi:10.1007/3-540-45578-7_46 fatcat:kqphuvw46rfgnk6qciqvwxqtju

A description logic approach for representing and reasoning on fuzzy object-oriented database models

Fu Zhang, Z.M. Ma, Li Yan, Yu Wang
2012 Fuzzy sets and systems (Print)  
In particular, DLs have been deeply studied in database modeling. This paper proposes a description logic approach to represent and reason on fuzzy object-oriented database (FOOD) models.  ...  On this basis, representation and reasoning of FOOD models with f-ALCIQ(D) is studied.  ...  The work is supported by National Natural Science Foundation of China (61073139 and 60873010) and Fundamental Research Funds for the Central Universities (N090504005 and N090604012), and by Program for  ... 
doi:10.1016/j.fss.2011.04.010 fatcat:kk4gedq5cbbk3jeokfirvvzpqu

Models and heterogeneous reasoning

P. N. Johnson-Laird
2006 Journal of experimental and theoretical artificial intelligence (Print)  
At the heart of the theory is the notion of a mental model. The paper shows how the theory works for spatial reasoning.  ...  Human reasoning is heterogeneous; it is based on information from perception, discourse, and knowledge.  ...  Acknowledgements The author thanks Selmer Bringsjord, Yingrui Yang, and an anonymous reviewer for many helpful criticisms.  ... 
doi:10.1080/09528130600558091 fatcat:zp6ttriugngfbflrtc23h4u3ei

A Causal And-Or Graph Model for Visibility Fluent Reasoning in Tracking Interacting Objects

Yuanlu Xu, Lei Qin, Xiaobai Liu, Jianwen Xie, Song-Chun Zhu
2018 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition  
We introduce a Causal And-Or Graph (C-AOG) to represent the causaleffect relations between an object's visibility fluent and its activities, and develop a probabilistic graph model to jointly reason the  ...  We formulate this joint task as an iterative search of a feasible causal graph structure that enables fast search algorithm, e.g., dynamic programming method.  ...  object tracking and fluent reasoning; and (iii) a new occlusion reasoning dataset to cover objects with diverse fluent changes.  ... 
doi:10.1109/cvpr.2018.00232 dblp:conf/cvpr/XuQLXZ18 fatcat:r35wiosepne5zo4hcck557ve5y

Towards a structured approach to building qualitative reasoning models and simulations

Bert Bredeweg, Paulo Salles, Anders Bouwer, Jochem Liem, Tim Nuttle, Eugenia Cioaca, Elena Nakova, Richard Noble, Ana Luiza Rios Caldas, Yordan Uzunov, Emilia Varadinova, Andreas Zitek
2008 Ecological Informatics  
It structures and explicates the work involved in building models. It also facilitates easier comparison and evaluation of intermediate and final results of modelling efforts.  ...  Creating qualitative models is often considered an art rather than a scientific undertaking, lacking a structured methodology that supports formalisation of ideas.  ...  We want to thank the anonymous reviewers and the participants of the NaturNet-Redime workshop in Amsterdam (October 11-14, 2005) for their feedback and suggestions concerning the methodology.  ... 
doi:10.1016/j.ecoinf.2007.02.002 fatcat:wu34asvjzjcnvi6go42w525bwm

Intended Models, Circumscription and Commonsense Reasoning

Wlodek Zadrozny
1987 International Joint Conference on Artificial Intelligence  
For this reason we augment the usual, two-part formal structures consisting of a metalevel and an object level, with a third level -a referential level.  ...  We describe a new method of formalizing commonsense reasoning : Instead of minimizing extensions of predicates we formalize common sense as "truth in intended models", and we give a mathematical formulation  ...  I want to thank J.L.Lassez, K.Jensen, J.L.Binot, K.Skandalis and T.Wetter for useful discussions.  ... 
dblp:conf/ijcai/Zadrozny87 fatcat:qp6eljfgizcvna3i5adls6uamq
« Previous Showing results 1 — 15 out of 3,105,090 results