2949 search results - page 392 / 590 » Universal Sparse Modeling |
CAV
2003
Springer
14 years 4 months ago
2003
Springer
ion and BDDs Complement SAT-based BMC in DiVer Aarti Gupta1, Malay Ganai1 , Chao Wang2, Zijiang Yang1, Pranav Ashar1 1 NEC Laboratories America, Princeton, NJ, U.S.A. 2 University ...
HICSS
2002
IEEE
14 years 3 months ago
2002
IEEE
Since its inception, the internet has served as a virtual meeting place for people sharing common interests. These interest groups are nowadays called Virtual Communities. In this...
HICSS
2002
IEEE
14 years 3 months ago
2002
IEEE
Research suggests that in order for GSS to be deployed successfully over the long term, it must be integrated into the daily work practices of an organization, in support of repea...
COLT
2001
Springer
14 years 3 months ago
2001
Springer
We show that the class of monotone 2O( √ log n)-term DNF formulae can be PAC learned in polynomial time under the uniform distribution from random examples only. This is an expo...
PROFES
2001
Springer
14 years 3 months ago
2001
Springer
Component-based software has a self-similar structure on el of abstraction, i.e. its structure is fractal. Traditional software processes, however, have a linear or iterated struct...