Automatic verification of data-centric business processes
- Alin Deutsch
- Richard Hull
- et al.
- 2009
- ICDT 2009
Conference paper
Publications
1918 results for Human-Centered AI
CRAFTing an environment for collaborative reasoning
- Susanne C. Hupfer
- Steven I. Ross
- et al.
- 2009
- IUI 2009
Conference paperBehavior-driven visualization recommendation
- David Gotz
- Zhen Wen
- 2009
- IUI 2009
Conference paperCSIUI 2009: Story understanding and generation for aware and interactive interface design
- Catherine Havasi
- Henry Lieberman
- et al.
- 2009
- IUI 2009
Conference paperThe average-case complexity of counting distinct elements
- David P. Woodruff
- 2009
- ICDT 2009
Conference paperParaDisE : Parallel discovery engine for enterprise datacenters
- Sandip Agarwala
- Luis A. Bathen
- et al.
- 2009
- ICAC 2009
Conference paperImportance weighted active learning
- Alina Beygelzimer
- Sanjoy Dasgupta
- et al.
- 2009
- ICML 2009
Conference paperOut-of-band detection of boot-sequence termination events
- Naama Parush
- Dan Pelleg
- et al.
- 2009
- ICAC 2009
Conference paperGradient descent with sparsification : An iterative algorithm for sparse recovery with restricted isometry property
- Rahul Garg
- Rohit Khandekar
- 2009
- ICML 2009
Conference paperNAP: A building block for remediating performance bottlenecks via black box network analysis
- Muli Ben-Yehuda
- David Breitgand
- et al.
- 2009
- ICAC 2009
Conference paper