2253 search results - page 286 / 451 » The ComFoRT Reasoning Framework |
103
click to vote
AAMAS
2004
Springer
14 years 10 months ago
2004
Springer
ACT Supporting mobility in a multi hop wireless environment like the MANET still remains a point of research, especially in the context of time-constrained applications. The incapa...
AI
2002
Springer
14 years 10 months ago
2002
Springer
Systems provide a rich abstraction within which divers concepts of reasoning, acceptability and defeasibility of arguments, etc., may be studied using a unified framework. Two imp...
CN
2004
14 years 10 months ago
2004
The Differentiated Services architecture targets at providing scalable network Quality of Service by means of aggregate scheduling. However, the defined framework itself only give...
72
Voted
CORR
2002
Springer
14 years 10 months ago
2002
Springer
A secure timeline is a tamper-evident historic record of the states through which a system goes throughout its operational history. Secure timelines can help us reason about the t...
105
click to vote
NGC
1998
Springer
14 years 10 months ago
1998
Springer
Reducing redundancy in search has been a major concern for automated deduction. Subgoal-reduction strategies, such as those based on model elimination and implemented in Prolog te...