445 search results - page 31 / 89 » Classifying model-theoretic properties |
ICDCIT
2005
Springer
14 years 3 months ago
2005
Springer
The existing search engines sometimes give unsatisfactory search result for lack of any categorization. If there is some means to know the preference of user about the search resul...
EUROCRYPT
1990
Springer
14 years 2 months ago
1990
Springer
The relation between the Walsh-Hadamard transform and the autocorrelation function of Boolean functions is used to study propagation characteristics of these functions. The Strict...
ECOOP
1987
Springer
14 years 1 months ago
1987
Springer
Object oriented programming environments frequently suffer serious performance degradation because of a high level of paging activity when implemented using a conventional virtual...
ECIS
2000
13 years 11 months ago
2000
- Events are at the core of reactive applications, which have become popular in many domains. Contemporary modeling tools lack the capability express the event semantics and relati...
FOIS
2010
13 years 11 months ago
2010
We introduce a process-centric ontological approach to relate observed properties to geo-processes that influence those observations. These relations are used to handle semantic he...