1321 search results - page 108 / 265 » Subtyping in Logical Form |
157
click to vote
TRUSTBUS
2007
Springer
15 years 11 months ago
2007
Springer
Usage control governs the handling of sensitive data after it has been given away. The enforcement of usage control requirements is a challenge because the service requester in gen...
161
click to vote
ASYNC
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper introduces a novel technique for synthesis of speed-independent circuits from their Signal Transition Graph specifications. The new method uses partial order in the fo...
132
click to vote
BIRTHDAY
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. Logic preservation theorems often have the form of a syntax/semantics correspondence. For example, the Los-Tarski theorem asserts that a rst-order sentence is preserved b...
163
click to vote
RSCTC
2000
Springer
15 years 9 months ago
2000
Springer
This paper introduces a neural network architecture based on rough sets and rough membership functions. The neurons of such networks instantiate approximate reasoning in assessing ...
117
Voted
AAAI
2008
15 years 8 months ago
2008
In this paper, we propose the use of a neuro-fuzzy strategy to develop a Web personalization framework for the dynamic suggestion of URLs retained interesting for the currently co...