: In this paper we present, to our knowledge, the first application of a metaheuristic technique to the very popular and NP-complete puzzle known as ‘sudoku’. We see that this ...
A Zero-knowledge protocol provides provably secure entity authentication based on a hard computational problem. Among many schemes proposed since 1984, the most practical rely on f...
Today's computer supported modelling environments could provide much more information about the users’ actions and problem solving processes than they usually store for late...
Intelligent agents must update their knowledge base as they acquire new information about their environment. The modal logic S5n has been designed for representing knowledge bases...
This paper presents a new 3D reconstruction method of the scoliotic vertebrae of a spine, using two conventional radiographic views (postero-anterior and lateral), and a global pr...
Said Benameur, Max Mignotte, Stefan Parent, Hubert...