Sciweavers

2949 search results - page 392 / 590
» Universal Sparse Modeling
Sort
View
CAV
2003
Springer
156views Hardware» more  CAV 2003»
14 years 4 months ago
Abstraction and BDDs Complement SAT-Based BMC in DiVer
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 ...
Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Ya...
HICSS
2002
IEEE
104views Biometrics» more  HICSS 2002»
14 years 3 months ago
VICOS: The Virtual Community of Students
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...
Walter Dettling, Petra Schubert
HICSS
2002
IEEE
76views Biometrics» more  HICSS 2002»
14 years 3 months ago
An Approach to Middleware for Repeatable Collaborative Processes
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...
Thomas Gregory, Robert O. Briggs
COLT
2001
Springer
14 years 3 months ago
On Learning Monotone DNF under Product Distributions
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...
Rocco A. Servedio
PROFES
2001
Springer
14 years 3 months ago
Describing Fractal Processes with UML
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...
Harald Störrle