Filters








26,660 Hits in 7.0 sec

Page 1094 of Mathematical Reviews Vol. , Issue 96b [page]

1996 Mathematical Reviews  
Logic programming emphasises a de- scriptive approach to computing, where a program is a formal, executable specification of a problem, in contrast to the imperative approach, where a program just describes  ...  (J-TOYT-C; Toyohashi) An alternative approach to the semantics of disjunctive logic programs and deductive databases. (English summary) J. Automat. Reason. 13 (1994), no. 1, 145-172.  ... 

From Declarative Model to Solution: Scheduling Scenario Synthesis [article]

Bruno Blaskovic, Mirko Randic
2013 arXiv   pre-print
First, declarative model for scheduling problem domain is introduced. After that model is interpreted as scheduling domain language and as predicate transition Petri net.  ...  This paper presents deductive programming for scheduling scenario generation. Modeling for solution is achieved through program transformations.  ...  First, deductive programming will be used as methodology for solution to scheduling problem.  ... 
arXiv:1304.3716v1 fatcat:eyn5q5jor5elnemrym3c2h55zi

Page 7538 of Mathematical Reviews Vol. , Issue 2002J [page]

2002 Mathematical Reviews  
In F-Logic, a comprehensive deductive and object-oriented formalism [M. Kifer, G. Lausen and J. Wu, J. Assoc. Comput.  ...  When combining the deductive and the object-oriented approaches, it can happen that facts deduced by the explicit rules conflict with facts deduced implicitly by inheritance.  ... 

Page 5372 of Mathematical Reviews Vol. , Issue 90I [page]

1990 Mathematical Reviews  
problem becomes less complex, etc.  ...  Approaches prior to this paper include minimalism, default logic, and negation as fail- ure.  ... 

Knowledge object modeling

Xindong Wu, K. Cai
2000 IEEE transactions on systems, man and cybernetics. Part A. Systems and humans  
The proper integration provides a flexible and powerful environment, as rule-based components provide facilities for deductive retrieval and pattern matching, and object-oriented components provide a clear  ...  Based on the knowledge object concept, this paper presents a factor-centered representation language, Factor++, which models logic rules into the object-oriented paradigm, and a scheduling system, Schedular  ...  ACKNOWLEDGMENT The authors are grateful to the three anonymous referees for their constructive comments and references on the first version of the paper, and to the Associate Editor for his/her supportive  ... 
doi:10.1109/3468.833091 fatcat:33atm5xytrc5rajlytyhm3tfxi

Parallel database systems: Open problems and new issues

Patrick Valduriez
1993 Distributed and parallel databases  
Finally, there are new issues raised by the introduction of higher functionality such as knowledge-based or object-oriented capabilities within a parallel database system.  ...  Parallel database systems attempt to exploit recent multiprocessor computer architectures in order to build high-performance and high-availability database servers at a much lower price than equivalent  ...  The introduction of object-oriented capabilities also creates significant difficulties related to complex object declustering, transaction management, proper object-oriented operating system support and  ... 
doi:10.1007/bf01264049 fatcat:owb356rtkra5fplbwktkwogdfi

Deduction and deductive databases for geographic data handling [chapter]

A. I. Abdelmoty, M. H. Williams, N. W. Paton
1993 Lecture Notes in Computer Science  
The deductive capabilities provided by a deductive database o er some assistance in solving these problems, in particular by enabling spatial reasoning to be performed by a Geographic Information System  ...  In addition, deductive capabilities are shown to be essential for automatic data input and update in a GDB.  ...  Fernandes and M.L. Barja, for which w e are sincerely thankful. We w ould also like to thank Mr Neil Smith of Ordnance Survey and Dr. J.M.P.  ... 
doi:10.1007/3-540-56869-7_25 fatcat:hksvzi3iq5dlpftbyuxrlrhroq

Introduction [chapter]

Bernhard Möller, Helmut A. Partsch, Stephen A. Schuman
1993 Lecture Notes in Computer Science  
Such approaches address the need to describe the interactions of a system with its environment, and to express complex behaviourai requirements.  ...  In the behaviour-oriented approach, as discussed in FEATHER'S contribution, a system is specified in terms of its possible events and its reactions to those events.  ...  Such approaches address the need to describe the interactions of a system with its environment, and to express complex behaviourai requirements.  ... 
doi:10.1007/3-540-57499-9_14 fatcat:eztaayoch5crzf76amxx6q7r3i

E-DEVICE: an extensible active knowledge base system with multiple rule type support

N. Bassiliades, I. Vlahavas, A.K. Elmagarmid
2000 IEEE Transactions on Knowledge and Data Engineering  
The resulting system is a flexible, yet efficient, KBS that gives the user the ability to express knowledge in a variety of high-level forms for advanced problem solving in data intensive applications.  ...  rule into one event-driven rule, offering centralized rule selection control for correct run-Lime behavior and conflict resolution, and b) using complex events to map the. conditions of production rules  ...  The pcrfonnance of deductive rules using the E-DEVICE approach was mea~ured to be fa~ter than the one-to-many approach on incremental insenions and deletions while under a set-oriented rule execuLion scheme  ... 
doi:10.1109/69.877511 fatcat:simlo4bhvrfytlnz5hlgzqaocm

Agent-based distributed manufacturing process planning and scheduling: a state-of-the-art survey

Weiming Shen, Lihui Wang, Qi Hao
2006 IEEE Transactions on Systems Man and Cybernetics Part C (Applications and Reviews)  
integration, particularly on agent-based approaches to these difficult problems.  ...  Traditional optimization approaches to these problems do not consider the constraints of both domains simultaneously and result in suboptimal solutions.  ...  and to coordinate them to solve complex problems.  ... 
doi:10.1109/tsmcc.2006.874022 fatcat:dgqbnflcqbcftdeuhbpzyf2uoq

Remarks on Interface Oriented Software Systems Modelling

Dorin Bocu, Razvan Bocu
2013 International Journal of Computers Communications & Control  
Using a simplified and nonexhaustive approach, we can observe the following:  ...  of a software system solution (referred to as UP, SP and BP in the paper) are unified, with the goal to optimally derive the behaviour of the system from its structure.  ...  This is a synthesis that has anticipated the revolutionary paradigm that is represented by object orientation. Is object orientation a paradigm without problems?  ... 
doi:10.15837/ijccc.2013.5.6 fatcat:v5wqffrkn5hnjfz3j4qzz7gn2y

Procedure model for the development and launch of intelligent assistance systems

Paul Reichardt, Sebastian Lang, Tobias Reggelin
2021 Procedia Computer Science  
It focusses on order sequencing and machine allocation in a real time production environment. As part of an application-oriented research project, a use case is referenced.  ...  It focusses on order sequencing and machine allocation in a real time production environment. As part of an application-oriented research project, a use case is referenced.  ...  Acknowledgements The authors acknowledge the financial support by the Federal Ministry of Education and Research of Germany (BMBF) within the funding of projects on the topic of "Application of artificial  ... 
doi:10.1016/j.procs.2021.01.348 fatcat:wrx32tyxeneaxfv3j3q44zsj6i

Object-oriented domain specific compilers for programming FPGAs

O. Mencer, M. Platzner, M. Morf, M.J. Flynn
2001 IEEE Transactions on Very Large Scale Integration (vlsi) Systems  
This paper presents a methodology to combine true object-oriented design of the compiler/CAD tool with an object-oriented hardware design methodology in C++.  ...  The resulting system provides all the benefits of object-oriented design to the compiler/CAD tool designer and to the hardware designer/programmer.  ...  ACKNOWLEDGMENT The authors would like to acknowledge the contributions of many students, current and past, to the JHDL system.  ... 
doi:10.1109/92.920835 fatcat:qm53w6pj6fa3fjxnskuqjq6xta

Towards pattern-based design recovery

Jörg Niere, Wilhelm Schäfer, Jörg P. Wadsack, Lothar Wendehals, Jim Welsh
2002 Proceedings of the 24th international conference on Software engineering - ICSE '02  
The approach taken is specifically designed to overcome the existing scalability problems caused by many design and implementation variants of design pattern instances.  ...  Finally, the paper gives some results and experiences about the application of the approach to the Java AWT and JGL libraries in comparison to other approaches.  ...  To recover an object-oriented model from other languages, identifying a class may require a complex graph transformation rule as proposed e.g. in Rigi [MOTU93] .  ... 
doi:10.1145/581380.581382 fatcat:g3pnxynpmvfr5a2l6rmpwcf3mm

Towards pattern-based design recovery

Jörg Niere, Wilhelm Schäfer, Jörg P. Wadsack, Lothar Wendehals, Jim Welsh
2002 Proceedings of the 24th international conference on Software engineering - ICSE '02  
The approach taken is specifically designed to overcome the existing scalability problems caused by many design and implementation variants of design pattern instances.  ...  Finally, the paper gives some results and experiences about the application of the approach to the Java AWT and JGL libraries in comparison to other approaches.  ...  To recover an object-oriented model from other languages, identifying a class may require a complex graph transformation rule as proposed e.g. in Rigi [MOTU93] .  ... 
doi:10.1145/581339.581382 dblp:conf/icse/NiereSWWW02 fatcat:xrlqy4gq7nhpzdmlqwcqtcv5ve
« Previous Showing results 1 — 15 out of 26,660 results