Sciweavers

SIGMOD
2011
ACM
189views Database» more  SIGMOD 2011»
12 years 7 months ago
We challenge you to certify your updates
Correctness of data residing in a database is vital. While integrity constraint enforcement can often ensure data consistency, it is inadequate to protect against updates that inv...
Su Chen, Xin Luna Dong, Laks V. S. Lakshmanan, Div...
RSA
2006
104views more  RSA 2006»
13 years 4 months ago
The satisfiability threshold for randomly generated binary constraint satisfaction problems
Abstract. We study two natural models of randomly generated constraint satisfaction problems. We determine how quickly the domain size must grow with n to ensure that these models ...
Alan M. Frieze, Michael Molloy
ALT
2006
Springer
13 years 8 months ago
Learning and Extending Sublanguages
A number of natural models for learning in the limit is introduced to deal with the situation when a learner is required to provide a grammar covering the input even if only a par...
Sanjay Jain, Efim B. Kinber