Document Search Results

Rounding meets approximate model counting. (English) Zbl 07787551

Enea, Constantin (ed.) et al., Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17–22, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13965, 132-162 (2023).

MSC: 68Q60 68R07

Cite Review PDF

Full Text: DOI arXiv

OA License

Yang, Jiong; Chakraborty, Supratik; Meel, Kuldeep S.

Projected model counting: beyond independent support. (English) Zbl 1522.68378

Bouajjani, Ahmed (ed.) et al., Automated technology for verification and analysis. 20th international symposium, ATVA 2022, virtual event, October 25–28, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13505, 171-187 (2022).

MSC: 68R07 68Q60

Cite Review PDF

Full Text: DOI arXiv

Yin, Xiaoxin; Han, Jiawei; Yang, Jiong; Yu, Philip S.

CrossMine: Efficient classification across multiple database relations. (English) Zbl 1172.68458

Boulicaut, Jean François (ed.) et al., Constraint-based mining and inductive databases. European workshop on inductive databases and constraint based mining, Hinterzarten, Germany, March 11–13, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-31331-1/pbk). Lecture Notes in Computer Science 3848. Lecture Notes in Artificial Intelligence, 172-195 (2005).

MSC: 68P15 68T05

Cite Review PDF

Full Text: DOI

Yang, Jiong; Yan, Xifeng; Han, Jiawei; Wang, Wei

Discovering an evolutionary classifier over a high-speed nonstatic stream. (English) Zbl 1087.68105

Bandyopadhyay, Sanghamitra (ed.) et al., Advanced methods for knowledge discovery from complex data. London: Springer (ISBN 1-85233-989-6/hbk). Advanced Information and Knowledge Processing, 337-363 (2005).

MSC: 68T10 68T05 68P15

Cite Review PDF

Wang, Wei; Yang, Jiong

Mining sequential patterns from large data sets. (English) Zbl 1067.68057

The Kluwer International Series on Advances in Database Systems 28. New York, NY: Springer (ISBN 0-387-24246-5/hbk). xv, 163 p. (2005).

MSC: 68P05 68-01 68P20

Cite Review PDF

Full Text: DOI

Chen, Zhiyuan; Li, Chen; Pei, Jian; Tao, Yufei; Wang, Haixun; Wang, Wei; Yang, Jiong; Yang, Jun; Zhang, Donghui

Recent progress on selected topics in database research. – A report by nine young Chinese researchers working in the United States. (English) Zbl 1047.68568

J. Comput. Sci. Technol. 18, No. 5, 538-552 (2003).

MSC: 68P15 68U35

Cite Review PDF

Full Text: DOI

Yang, Jiong; Wang, Wei; Nittel, Silvia; Muntz, Richard; Busam, Vince

Dynamo: design, implementation, and evaluation of cooperative persistent object management in a local area network. (English) Zbl 1008.68785

Software. Practice & Experience 30, No. 4, 419-448 (2000).

MSC: 68U99 68N25 68N15

Cite Review PDF

Full Text: DOI

Yang, Jiong; Neiger, Gil; Gafni, Eli

Structured derivations of consensus algorithms for failure detectors. (English) Zbl 1333.68285

Proceedings of the 17th annual ACM symposium on principles of distributed computing, PODC ’98, Puerto Vallarta, Mexico, June 28 – July 2, 1998. New York, NY: Association for Computing Machinery (ACM) (ISBN 0-89791-977-7). 297-306 (1998).

MSC: 68W15 68M14 68M15

Cite Review PDF

Full Text: DOI

Found 8 Documents (Results 1–8)

Rounding meets approximate model counting. (English) Zbl 07787551

Projected model counting: beyond independent support. (English) Zbl 1522.68378

CrossMine: Efficient classification across multiple database relations. (English) Zbl 1172.68458

Discovering an evolutionary classifier over a high-speed nonstatic stream. (English) Zbl 1087.68105

Mining sequential patterns from large data sets. (English) Zbl 1067.68057

Recent progress on selected topics in database research. – A report by nine young Chinese researchers working in the United States. (English) Zbl 1047.68568

Dynamo: design, implementation, and evaluation of cooperative persistent object management in a local area network. (English) Zbl 1008.68785

Structured derivations of consensus algorithms for failure detectors. (English) Zbl 1333.68285

Filter Results by …

Document Type

Author

Serial

Year of Publication

Main Field

Software