7991 search results - page 72 / 1599 » Using More Reasoning to Improve |
108
click to vote
INFOCOM
1999
IEEE
15 years 5 months ago
1999
IEEE
We propose and evaluate novel reliable multicast protocols that combine active repair service (a.k.a. local recovery) and parity encoding (a.k.a. forward error correction or FEC) ...
122
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
- Ontology engineering has been proposed as a formal mechanism for both reducing the complexity of managing the information needed in network management and autonomic systems and f...
121
click to vote
EAAI
2007
15 years 1 months ago
2007
The task-oriented nature of data mining (DM) has already been dealt successfully with the employment of intelligent agent systems that distribute tasks, collaborate and synchroniz...
126
click to vote
STTT
2010
14 years 12 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
112
click to vote
IADIS
2004
15 years 3 months ago
2004
In this paper, we introduce the concept of "user policies" and its applications to the browsing of HTML documents. The objective of policies is to specify user preferenc...