Sciweavers

3016 search results - page 281 / 604
» A Granular Approach to Web Search Result Presentation
Sort
View
ICES
2003
Springer
86views Hardware» more  ICES 2003»
15 years 12 months ago
A Note on Designing Logical Circuits Using SAT
Abstract. We present a systematic procedure for the synthesis and minimisation of digital circuits using propositional satisfiability. We encode the truth table into a canonical s...
Giovani Gomez Estrada
AISC
2008
Springer
15 years 8 months ago
The Monoids of Order Eight and Nine
We describe the use of symbolic algebraic computation allied with AI search techniques, applied to the problem of the identification, enumeration and storage of all monoids of orde...
Andreas Distler, Tom Kelsey
CORIA
2009
15 years 7 months ago
Recherche contextuelle d'information dans un environnement mobile
The goal of contextual information retrieval (CIR) is to better meet the user's needs by delivering him information adapted to his specific search context. This paper presents...
Ourdia Bouidghaghen
NAACL
2003
15 years 8 months ago
TIPS: A Translingual Information Processing System
Searching online information is increasingly a daily activity for many people. The multilinguality of online content is also increasing (e.g. the proportion of English web users, ...
Yaser Al-Onaizan, Radu Florian, Martin Franz, Hany...
CORR
2011
Springer
160views Education» more  CORR 2011»
14 years 10 months ago
Searching for Bayesian Network Structures in the Space of Restricted Acyclic Partially Directed Graphs
Although many algorithms have been designed to construct Bayesian network structures using different approaches and principles, they all employ only two methods: those based on i...
Silvia Acid, Luis M. de Campos