Sciweavers

162 search results - page 18 / 33
» rules 1997
Sort
View
114
Voted
EPS
1997
Springer
15 years 4 months ago
Tracking Extrema in Dynamic Environments
Typical applications of evolutionary optimization involve the off-line approximation of extrema of static multi-modal functions. Methods which use a variety of techniques to self-...
Peter J. Angeline
86
Voted
ER
1997
Springer
102views Database» more  ER 1997»
15 years 4 months ago
From Ancient Egyptian Language to Future Conceptual Modeling
This paper discusses the construction principles of ancient Egyptian hieroglyphs from the point of view of conceptual modeling. The paper starts with a summary of author’s previo...
Peter P. Chen
SAS
1997
Springer
162views Formal Methods» more  SAS 1997»
15 years 4 months ago
Exact Flow Analysis
We present a type-based flow analysis for simply typed lambda calculus with booleans, data-structures and recursion. The analysis is exact in the following sense: if the analysis ...
Christian Mossin
88
Voted
APN
1997
Springer
15 years 4 months ago
Verification of Workflow Nets
Abstract. Workflow management systems will change the architecture of future information systems dramatically. The explicit representation of business procedures is one of the main...
Wil M. P. van der Aalst
119
Voted
VL
1997
IEEE
151views Visual Languages» more  VL 1997»
15 years 4 months ago
A Structured Interactive Workspace for a Visual Configuration Language
This paper shows how language technologies such as the automatic generation of parsers for analyzing user actions and visual parsing can be applied to build a flexible tool specia...
Jean-Yves Vion-Dury, François Pacull