19342 search results - page 3465 / 3869 » Decentralised Process Modelling |
229
click to vote
VLDB
1994
ACM
15 years 11 months ago
1994
ACM
We describe the integration of a structuredtext retrieval system (TextMachine) into an object-oriented database system (OpenODB). We use the external function capability of the da...
228
click to vote
CADE
1990
Springer
15 years 11 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
211
Voted
ACAL
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We explore a new definition of creativity -- one which emphasizes the statistical capacity of a system to generate previously unseen patterns -- and discuss motivations f...
214
click to vote
AAIM
2007
Springer
15 years 11 months ago
2007
Springer
PI controller has attracted researchers in industrial control processes because of its simplicity and robust performance in a wide range of operating conditions. It has been used t...
228
Voted
ACMACE
2007
ACM
15 years 11 months ago
2007
ACM
Fundamental to the generation of 3D audio is the HRTF processing of acoustical signals. Unfortunately, given the high dimensionality of HRTFs, incorporating them into dynamic/inte...