Sciweavers

460 search results - page 60 / 92
» New Tools for Graph Coloring
Sort
View
CEAS
2006
Springer
14 years 15 days ago
CC Prediction with Graphical Models
We address the problem of suggesting who to add as an additional recipient (i.e. cc, or carbon copy) for an email under composition. We address the problem using graphical models ...
Chris Pal
AAAI
2007
13 years 11 months ago
Finding Related Pages Using Green Measures: An Illustration with Wikipedia
We introduce a new method for finding nodes semantically related to a given node in a hyperlinked graph: the Green method, based on a classical Markov chain tool. It is generic, ...
Yann Ollivier, Pierre Senellart
DAC
2001
ACM
14 years 9 months ago
Publicly Detectable Techniques for the Protection of Virtual Components
Highlighted with the newly released intellectual property (IP) protection white paper by VSI Alliance, the protection of virtual components (VCs) has received a large amount of at...
Gang Qu
SAT
2005
Springer
133views Hardware» more  SAT 2005»
14 years 2 months ago
Solving Over-Constrained Problems with SAT Technology
Abstract. We present a new generic problem solving approach for overconstrained problems based on Max-SAT. We first define a clausal form formalism that deals with blocks of clau...
Josep Argelich, Felip Manyà
ATAL
2006
Springer
14 years 16 days ago
No-commitment branch and bound search for distributed constraint optimization
We present a new polynomial-space algorithm for solving Distributed Constraint Optimization problems (DCOP). The algorithm, called NCBB, is branch and bound search with modificati...
Anton Chechetka, Katia P. Sycara