1581 search results - page 213 / 317 » Mechanizing Inductive Reasoning |
118
click to vote
IJCAI
2001
15 years 4 months ago
2001
We propose to extend the temporal causal graph formalisms used in model-based diagnosis in order to deal with non trivial interactions like (partial) cancellation of fault effects...
122
click to vote
ICMAS
2000
15 years 4 months ago
2000
Online auctions are becoming an increasingly important channel for electronic commerce. There exist more than 150 online auction sites on the Internet. It is difficult for users t...
122
Voted
PDSE
2000
15 years 4 months ago
2000
This paper presents a theoretical and practical framework for constructing and reasoning about mobile agents. The framework is formulated as a process calculus and has two contrib...
126
click to vote
CRIWG
2009
15 years 4 months ago
2009
Intensive research and development has been conducted in the design and creation of groupware systems for distributed users. While for some activities, these groupware tools are wi...
145
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
The security of wireless sensor networks is an active topic of research where both symmetric and asymmetric key cryptography issues have been studied. Due to their computational f...