The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Filters
Page 1094 of Mathematical Reviews Vol. , Issue 96b
[page]
1996
Mathematical Reviews
Preserved Fulltext
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]
2013
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
problem becomes less complex, etc. ...
Approaches prior to this paper include minimalism, default logic, and negation as fail- ure. ...
Knowledge object modeling
2000
IEEE transactions on systems, man and cybernetics. Part A. Systems and humans
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
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
1993
Distributed and parallel databases
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
1993
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
1993
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2000
IEEE Transactions on Knowledge and Data Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2006
IEEE Transactions on Systems Man and Cybernetics Part C (Applications and Reviews)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
International Journal of Computers Communications & Control
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2021
Procedia Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2001
IEEE Transactions on Very Large Scale Integration (vlsi) Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2002
Proceedings of the 24th international conference on Software engineering - ICSE '02
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2002
Proceedings of the 24th international conference on Software engineering - ICSE '02
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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