Sciweavers

12697 search results - page 201 / 2540
» Call for Papers
Sort
View
ISSA
2008
15 years 8 months ago
Computer Monitoring in the 21st Century Workplace
This paper attempts to lay the foundation for future research into an area that has been called the "hottest workplace privacy topic of the next decade." The existing em...
Sri Warna Mahanamahewa
JUCS
2008
118views more  JUCS 2008»
15 years 6 months ago
Detailing a Quantitative Method for Assessing Algorithms to Remove Back-to-Front Interference in Documents
: Documents written on both sides on translucent paper make visible the ink from one side on the other. This artefact is called "back-to-front interference", "bleedi...
Rafael Dueire Lins, João Marcelo Monte da S...
JCT
2007
96views more  JCT 2007»
15 years 6 months ago
Induced subgraphs of Ramsey graphs with many distinct degrees
An induced subgraph is called homogeneous if it is either a clique or an independent set. Let hom(G) denote the size of the largest homogeneous subgraph of a graph G. In this shor...
Boris Bukh, Benny Sudakov
TIT
2008
87views more  TIT 2008»
15 years 5 months ago
Maxwell Construction: The Hidden Bridge Between Iterative and Maximum a Posteriori Decoding
There is a fundamental relationship between belief propagation and maximum a posteriori decoding. A decoding algorithm, which we call the Maxwell decoder, is introduced and provide...
Cyril Measson, Andrea Montanari, Rüdiger L. U...
JSAT
2010
121views more  JSAT 2010»
15 years 1 months ago
Resolution on Quantified Generalized Clause-sets.
This paper is devoted to investigate resolution for quantified generalized clause-sets (QCLS). The soundness and refutation completeness are proved. Then quantified generalized Ho...
Jiwei Jin, Xishun Zhao