3552 search results - page 430 / 711 » Proof theory in the abstract |
148
click to vote
OR
2005
Springer
2005
Springer
Robustness in the Context of Autonomous Cooperating Logistic Processes: A Sustainability Perspective
16 years 6 days ago
Abstract. Autonomous cooperating logistic processes seem to be a promising approach to increase the robustness of logistics systems. Searching for the necessary organizational prer...
194
click to vote
SLSFS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. This article presents a unified theory for analysis of components in discrete data, and compares the methods with techniques such as independent component analysis, non-...
139
click to vote
UC
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We propose a novel formulation of the firing squad synchronization problem. In this formulation we may use more than one general state and the general state to be used i...
188
click to vote
XSYM
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Recently it was shown that existing general-purpose inductive logic programming systems are useful for learning wrappers (known as L-wrappers) to extract data from HTML d...
154
click to vote
CAISE
2004
Springer
16 years 3 days ago
2004
Springer
Six basic notions concerning business processes and their supporting information systems are presented and discussed, on the basis of one common theory. This yields that these noti...