2736 search results - page 264 / 548 » Implementable allocation rules |
182
click to vote
BIRTHDAY
2007
Springer
16 years 24 days ago
2007
Springer
Superdeduction is a systematic way to extend a deduction system like the sequent calculus by new deduction rules computed from the user theory. We show how this could be done in a ...
155
click to vote
CSFW
2006
IEEE
16 years 20 days ago
2006
IEEE
We present a constructive authorization logic where the meanings of connectives are defined by their associated inference rules. This ensures that the logical reading of access c...
186
click to vote
DEXAW
2006
IEEE
16 years 20 days ago
2006
IEEE
Content in semantic web portals is often projected along application specific navigational taxonomies and linked semantically. This paper presents a logic-based method and a serv...
152
click to vote
DATE
2005
IEEE
16 years 7 days ago
2005
IEEE
The aim of this work is to study the implementation feasibility of a VLS (Virtual Lambda Sensor) by a TSK (Takagi, Sugeno, Kang) singleton FIS (Fuzzy Inference System). Such a sen...
203
click to vote
EEE
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper reports on a system for automated agent negotiation. It uses the JADE agent framework, and its major distinctive feature is the use of declarative negotiation strategie...