Search results for "SCC"
showing 10 items of 1143 documents
Full CNF Encoding: The Counting Constraints Case
2004
Many problems are naturally expressed using CNF clauses and boolean cardinality constraints. It is generally believed that solving such problems through pure CNF encoding is inefficient, so many authors has proposed specialized algorithms : the pseudo-boolean solvers. In this paper we show that an appropriate pure CNF encoding can be competitive with these specialized methods. In conjunction with our encoding, we propose a slight modification of the DLL procedure that allows any DLL-based SAT solver to solve boolean cardinality optimization problems. We show experimentally that our encoding allows zchaff to be competitive with pseudo-boolean solvers on some decision and optimization problem…
Analyse du processus de commande et de livraison d'un système Pegakid série T
1998
Rapport de contrat Bull INRIA; Test ergonomique auprès d'utilisateurs de la livraison, du déballage et de l'installation d'un système informatique.
Premier plan/second plan dans un texte : effets de la mise en forme matérielle sur la mémorisation
1992
Universités Grenoble II, Grenoble III, Lyon II, Lyon III, ENSSIB; Les langues proposent des types de textes similaires chaque langue dispose de procédés spécifiques pour réaliser les structures textuelles. La présente étude s'attachera principalement à distinguer des éléments marqueurs de séquences textuelles de second plan et ceci dans les textes autres que les récits. Pour Weinrich (H. Weinrich, 1973) le premier-plan est ce qui motive l'existence du texte (ce pourquoi une histoire est racontée par exemple). L'arrière-plan c'est ce qui à lui seul n'éveillerait pas l'intérêt, mais qui aide l'auditeur à s'orienter dans le texte et lui en rend la lecture plus aisée. On peut difficilement ampu…
Analyse de tâches et évaluations : l'activité des administrateurs de systèmes informatiques
1998
Rapport de contrat Bull INRIA; Description formelle des différentes tâches exécutées par les administrateurs de systèmes informatiques.
Document numérique et bibliothèques dans la société de l'information
2006
Conférence à deux voix avec André Pierre Syren organisée par l'académie des sciences, arts et belles-lettres de Dijon; On annonce partout l'aube du 21ème siècle comme marquant notre entrée de la société de l'information. N'est-ce qu'une façon de parler de la multiplication de gadgets informatiques ? ou notre rapport au savoir peut-il se trouver bouleversé par la généralisation des échanges numériques ? C'est à une réflexion d'actualité que vous invite la Commission des Arts et Lettres. Il sera d'abord question du document numérique, de son histoire et de ses déclinaisons. Les spécificités des documents numériques touchent la nature du support, mais aussi l'usage, la perception et le traitem…
Concevoir des documents électroniques : prendre en compte le point de vue de l'utilisateur
1999
Journée thématique Pôles Rhône-Alpes de Sciences Cognitives INRIA Rhône-Alpes Organisée par Mireille Bétrancourt et Anne Pellegrin; National audience; Une tendance actuelle de la recherche dans le domaine des documents électroniques est la prise de conscience des difficultés rencontrées par les utilisateurs pour se représenter la structure de l'information dans les documents électroniques. Ces difficultés rendent problématique la construction d'un modèle mental de cette structure et pénalisent la navigation et le repérage au sein du document. Les utilisateurs sont ainsi souvent confrontés à un sentiment de désorientation préjudiciable à l'usage des documents électroniques. En vue de contour…
Un objet hybride : le document numérique
2007
Dans le cadre de cet article, nous définirons le document numérique comme un document dont le mode de consultation principal est la lecture à l'écran. Par extension, certaines formes d'affichage sur écran peuvent s'apparenter en ce cas à des documents numériques même si elles n'ont pas un objectif de trace ou de stabilité (écrans de logiciels, de tableaux de contrôle de processus). La frontière est en effet désormais très ténue entre document et logiciel. Certains sites web par exemple proposent une partie que l'on peut qualifier de document tandis qu'une autre partie s'apparente davantage à un logiciel. S'agit-il d'un document ou d'un logiciel ? Le monde numérique pose donc la question de …
Validation expérimentale : Service Master et Redundancy Manager
1998
Rapport de contrat Bull INRIA; Test ergonomique auprès d'utilisateurs de deux logiciels d'administration de systèmes informatiques.
Analyse du processus de commande et de livraison d'un système Bull
1998
Rapport de contrat Bull INRIA; Test ergonomique auprès d'utilisateurs de la livraison, du déballage et de l'installation d'un système informatique Bull.
A Translation of Pseudo Boolean Constraints to SAT
2006
Research note; This paper introduces a new CNF encoding of pseudo-Boolean constraints, which allows unit propagation to maintain generalized arc consistency. In the worst case, the size of the produced formula can be exponentially related to the size of the input constraint, but some important classes of pseudo-Boolean constraints, including Boolean cardinality constraints, are encoded in polynomial time and size. The proposed encoding was integrated in a solver based on the zCha SAT solver and submitted to the PB05 evaluation. The results provide new perspectives in the field of full CNF approach of pseudo-Boolean constraints solving.