64
Voted
AI
2005
Springer
15 years 21 days ago
2005
Springer
73
Voted
AI
2005
Springer
15 years 21 days ago
2005
Springer
104
Voted
AI
2005
Springer
15 years 21 days ago
2005
Springer
Following the pioneer work of Yokoo and colleagues on the ABT (asynchronous backtracking) algorithm, several ABT-based procedures have been proposed for solving distributed constr...
64
Voted
AI
2005
Springer
15 years 21 days ago
2005
Springer
53
Voted
AI
2005
Springer
15 years 21 days ago
2005
Springer
77
Voted
AI
2005
Springer
15 years 21 days ago
2005
Springer
AI
2005
Springer
15 years 21 days ago
2005
Springer
entation theory, Dung's abstract framework provides a unifying view of several alternative semantics based on the notion of extension. In this context, we propose a general r...
84
Voted
AI
2005
Springer
15 years 21 days ago
2005
Springer
We introduce a method for using images for word sense disambiguation, either alone, or in conjunction with traditional text based methods. The approach is based in recent work on ...
AI
2005
Springer
15 years 21 days ago
2005
Springer
We consider the problem of how an agent's knowledge can be updated. We propose a formal method of knowledge update on the basis of the semantics of modal logic S5. In our met...
113
Voted
AI
2005
Springer
15 years 21 days ago
2005
Springer
Abstract. The protein family classification problem, which consists of determining the family memberships of given unknown protein sequences, is very important for a biologist for ...