Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- ArticleJuly 2010
Research of Ontology-Based Model Representation Method
ITCS '10: Proceedings of the 2010 Second International Conference on Information Technology and Computer SciencePages 364–367https://doi.org/10.1109/ITCS.2010.95Model ontology representation is proposed to improve the standardization of model representation in model base system. There are model domain ontology, application ontology and ontology evolution in it. Model domain ontology ensures that the information ...
- ArticleFebruary 2008
Association-based image retrieval for automatic target recognition
Model-based automatic target recognition (ATR) systems deal with recognizing three dimensional objects from two dimensional images. In order to recognize and identify objects the ATR system must have one or more stored models. Multiple two dimensional ...
- ArticleMay 2007
A Knowledge-Based Model Representation and On-Line Solution Method for Dynamic Vehicle Routing Problem
ICCS '07: Proceedings of the 7th international conference on Computational Science, Part IV: ICCS 2007Pages 218–226https://doi.org/10.1007/978-3-540-72590-9_32We propose a knowledge-based model representation and on-line solution method for dynamic vehicle routing problem (DVRP) in the paper in order to realize on-line modeling and solution process of the problem. This knowledge-based model representation is ...
- ArticleAugust 2006
A Flexible, Syntax Independent Representation (SIR) for System Level Design Models
DSD '06: Proceedings of the 9th EUROMICRO Conference on Digital System DesignPages 288–294https://doi.org/10.1109/DSD.2006.6System Level Design (SLD) is widely seen as a solution for bridging the gap between chip complexity and design productivity of Systems on Chip (SoC). SLD relieves the designer from detailed manual implementation by raising the level of abstraction in ...
- ArticleJuly 2005
Model representation via contexts and implicit generalizations
CADE' 20: Proceedings of the 20th international conference on Automated DeductionPages 409–423https://doi.org/10.1007/11532231_30Some results on expressibility and complexity issues in model representation are presented. In particular, the relation between so-called ‘contexts' as recently introduced in [4] for the model evolution calculus and the more traditional ‘disjunctions of ...
- articleFebruary 2005
Solid modelling in a virtual reality environment
The Visual Computer: International Journal of Computer Graphics (VISC), Volume 21, Issue 1-2Pages 17–40https://doi.org/10.1007/s00371-004-0268-9This paper presents a constraint-based methodology for intuitive and precise solid modelling in a virtual reality (VR) environment. A hierarchically structured and constraint-based data model is developed to support solid modelling in the VR ...
- articleSeptember 2004
Representing and Building Models for Decidable Subclasses of Equational Clausal Logic
Journal of Automated Reasoning (JAUR), Volume 33, Issue 2Pages 133–170https://doi.org/10.1007/s10817-004-5555-7We develop new techniques for the automated construction of models for subclasses of equational clausal logic. The models are represented by some specific class of rewrite rules. We show that the evaluation of arbitrary first-order formulae in these ...
- articleApril 2002
The use of invariant features for object recognition from a single image
In this work, we present effective methods for detecting and representing invariant features of three dimensional (3-D) objects from single images. Our methods are independent of the viewpoint position, and can be used in the recognition process of 3-D ...
- articleDecember 1995
Representation and Solution of Decision Problems Using Sequential Decision Diagrams
Management Science (MANS), Volume 41, Issue 12Pages 1860–1881<P>In this paper we introduce a new graph, the sequential decision diagram, to aid in modeling formulation, and solution of sequential decision problems under uncertainty. While as compact as an influence diagram, the sequential diagram captures the ...
- ArticleJanuary 1995
Managing/refining structural characteristics discovered from databases
Systems with the capability of automatic knowledge discovery from databases will play an increasingly important role in building/sharing large knowledge bases. Although many systems for knowledge discovery in databases have been proposed, few of them ...
- research-articleFebruary 1988
DEVS Formalism: A Framework for Hierarchical Model Development
IEEE Transactions on Software Engineering (ISOF), Volume 14, Issue 2Pages 228–241https://doi.org/10.1109/32.4640A methodology is being developed to map hierarchical, modular discrete event models onto distributed simulator architectures. Concept developed for the first step of the methodology concerning model representation are discussed. The DEVS (Discrete Event ...
- research-articleFebruary 1986
Mesh-Oriented Line Drawings Theory (MOLD Theory)
IEEE Transactions on Pattern Analysis and Machine Intelligence (ITPM), Volume 8, Issue 2Pages 210–221https://doi.org/10.1109/TPAMI.1986.4767774In this paper, we describe a new model of bilevel digital images of line drawings. The key idea is that the constraints of generating the line drawings are available to select patterns which are considered to be a certain local appearance of line ...