Augmented human: Human os for improved mental function (position paper)
- Steve Heisig
- Guillermo Cecchi
- et al.
- 2014
- AAAI 2014
Publications
16 results at AAAI 2014
The computational complexity of structure-based causality
- Gadi Aleksandrowicz
- Hana Chockler
- et al.
- 2014
- AAAI 2014
Designing fast absorbing Markov chains
- Stefano Ermon
- Carla P. Gomes
- et al.
- 2014
- AAAI 2014
Modeling and predicting popularity dynamics via reinforced Poisson Processes
- Huawei Shen
- Dashun Wang
- et al.
- 2014
- AAAI 2014
Parallel restarted search
- Andre A. Cire
- Serdar Kadioglu
- et al.
- 2014
- AAAI 2014
Non-restarting SAT solvers with simple preprocessing can efficiently simulate resolution
- Paul Beame
- Ashish Sabharwal
- 2014
- AAAI 2014