Sciweavers

6943 search results - page 1057 / 1389
» Representations for evolutionary algorithms
Sort
View
IFIP
1992
Springer
15 years 10 months ago
Controller Implementation by Communicating Asynchronous Sequential Circuits Generated from a Petri Net Specification of Required
This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted P...
Jochen Beister, Ralf Wollowski
VLDB
1993
ACM
121views Database» more  VLDB 1993»
15 years 10 months ago
Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases
The enforcement of semantic integrity constraints in data and knowledge bases constitutea a major performance bottleneck. Integrity constraint simplification methods aim at reduci...
Dimitris Plexousakis
KR
1992
Springer
15 years 10 months ago
Conversational Events and Discourse State Change: A Preliminary Report
I argue that an action-based model of belief update is largely compatible with the proposals advanced in the literature on formal approaches to discourse interpretation, especiall...
Massimo Poesio
OOPSLA
1990
Springer
15 years 10 months ago
Exception Handling and Object-Oriented Programming: Towards a Synthesis
The paper presents a discussion and a specification of an exception handling system dedicated to object-oriented programming. We show how a full object-oriented representation of ...
Christophe Dony
SIGGRAPH
1990
ACM
15 years 10 months ago
Cone-spheres
This paper proposes to use relief-mapped conical frusta (cones cut by planes) to skin skeletal objects. Based on this representation, current programmable graphics hardware can pe...
Nelson L. Max
« Prev « First page 1057 / 1389 Last » Next »