Sciweavers

1155 search results - page 123 / 231
» Elaborating Domain Descriptions
Sort
View
CORR
2007
Springer
104views Education» more  CORR 2007»
13 years 9 months ago
Searching for low weight pseudo-codewords
— Belief Propagation (BP) and Linear Programming (LP) decodings of Low Density Parity Check (LDPC) codes are discussed. We summarize results of instanton/pseudo-codeword approach...
Michael Chertkov, Mikhail G. Stepanov
VLDB
2002
ACM
132views Database» more  VLDB 2002»
13 years 8 months ago
An Automated System for Web Portal Personalization
This paper proposes a system for personalization of web portals. A speci c implementation is discussed in reference to a web portal containing a news feed service. Techniques are ...
Charu C. Aggarwal, Philip S. Yu
CCS
2010
ACM
13 years 7 months ago
Adjustable autonomy for cross-domain entitlement decisions
Cross-domain information exchange is a growing problem, as business and governmental organizations increasingly need to integrate their information systems with those of partially...
Jacob Beal, Jonathan Webb, Michael Atighetchi
CORR
2012
Springer
207views Education» more  CORR 2012»
12 years 4 months ago
A baby step-giant step roadmap algorithm for general algebraic sets
Abstract. Let R be a real closed field and D ⊂ R an ordered domain. We give an algorithm that takes as input a polynomial Q ⊂ D[X1, . . . , Xk], and computes a description of ...
Saugata Basu, Marie-Françoise Roy, Mohab Sa...
AAAI
2000
13 years 10 months ago
The Systems Engineering Process Activities (SEPA) Methodology and Tool Suite
or cone, abstraction is chosen to represent a spectrum of user inputs/requirements that are narrowed, refined, and structured into a system design. User inputs require refinement f...
K. Suzanne Barber, Thomas J. Graser, Paul Grisham,...