3495 search results - page 15 / 699 » On the random satisfiable process |
RANDOM
1998
Springer
14 years 2 months ago
1998
Springer
ICN
2005
Springer
14 years 3 months ago
2005
Springer
: Data filtering is an important approach to reduce energy consumption. Following this idea, Interest is used as a constraint to filter uninterested data in sensor networks. Within...
AAAI
2006
13 years 11 months ago
2006
For ontologies represented as Description Logic Tboxes, optimised DL reasoners are able to detect logical errors, but there is comparatively limited support for resolving such pro...
ICALP
2009
Springer
14 years 5 months ago
2009
Springer
Let Φ be a uniformly distributed random k-SAT formula with n variables and m clauses. We present a polynomial time algorithm that finds a satisfying assignment of Φ with high p...
STOC
2010
ACM
14 years 2 months ago
2010
ACM
Consider the following two-player communication process to decide a language L: The first player holds the entire input x but is polynomially bounded; the second player is computa...