2826 search results - page 151 / 566 » FFF97 - Oberon in the Real World |
184
click to vote
EKAW
1994
Springer
15 years 11 months ago
1994
Springer
Formal knowledge modelling languages have a number of advantages over informal languages, such as their precise meaning and the possibility to derive propertiesthrough formal proof...
174
click to vote
VLDB
1989
ACM
15 years 11 months ago
1989
ACM
Fuzzy set theory represents a uniform framework for extending the relational database model to han-, dle imprecision of information found in the real world. None of the existing p...
174
click to vote
SP
1990
IEEE
15 years 11 months ago
1990
IEEE
This paper examines some questions concerning commercial computer security integrity policies. We give an example of a dynamic separation of duty policy which cannot be implemente...
340
click to vote
AFRIGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
Image registration forms the basis of many computer vision tasks. The Lucas-Kanade image registration algorithm is known to efficiently solve the sub-problem of rigid image regis...
183
click to vote
AUSAI
2007
Springer
15 years 11 months ago
2007
Springer
For knowledge representation and reasoning, there is a need to consider the nature of events because event data describe various features and behaviors of the occurrences of action...