Travelled to:1 × Spain
1 × United Kingdom
Collaborated with:M.A.Aziz A.G.Wassal S.Abdallah O.Hegazy
Talks about:techniqu (1) teamwork (1) synchron (1) problem (1) monitor (1) machin (1) learn (1) estim (1) qfbv (1) hard (1)
Person: Nevin M. Darwish
DBLP: Darwish:Nevin_M=
Contributed to:
2012
2002Wrote 2 papers:
- SMT-2012-AzizWD #estimation #machine learning #problem #smt
- A Machine Learning Technique for Hardness Estimation of QFBV SMT Problems (MAA, AGW, NMD), pp. 57–66.
- SAC-2002-AbdallahDH #monitoring
- Monitoring and synchronization for teamwork in GPGP (SA, NMD, OH), pp. 288–293.