Patrick Lühne
Patrick Lühne
Bestätigte E-Mail-Adresse bei cs.uni-potsdam.de
TitelZitiert vonJahr
Haptic Turk: A Motion Platform Based on People
LP Cheng, P Lühne, P Lopes, C Sterz, P Baudisch
Proceedings of the 32nd annual ACM conference on Human factors in computing …, 2014
722014
GravitySpace: Tracking Users and Their Poses in a Smart Room Using a Pressure-Sensing Floor
A Bränzel, C Holz, D Hoffmann, D Schmidt, M Knaust, P Lühne, R Meusel, ...
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems …, 2013
602013
Lecture Video Indexing and Analysis Using Video OCR Technology
H Yang, M Siebert, P Lühne, H Sack, C Meinel
Signal-Image Technology and Internet-Based Systems (SITIS), 2011 Seventh …, 2011
452011
Automatic Lecture Video Indexing Using Video OCR Technology
H Yang, M Siebert, P Lühne, H Sack, C Meinel
Multimedia (ISM), 2011 IEEE International Symposium on, 111-116, 2011
402011
Imaginary Reality Gaming: Ball Games Without a Ball
P Baudisch, H Pohl, S Reinicke, E Wittmers, P Lühne, M Knaust, S Köhler, ...
Proceedings of the 26th annual ACM symposium on User interface software and …, 2013
332013
plasp 3: Towards Effective ASP Planning
Y Dimopoulos, M Gebser, P Lühne, J Romero, T Schaub
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2017
82017
Hardware-Accelerated Attribute Mapping for Interactive Visualization of Complex 3D Trajectories
S Buschmann, M Trapp, P Lühne, J Döllner
5th International Conference on Information Visualization Theory and …, 2014
82014
The potsdam answer set solving collection 5.0
M Gebser, R Kaminski, B Kaufmann, P Lühne, P Obermeier, M Ostrowski, ...
KI-Künstliche Intelligenz 32 (2-3), 181-182, 2018
42018
anthem: Transforming gringo programs into first-order theories (preliminary report)
V Lifschitz, P Lühne, T Schaub
arXiv preprint arXiv:1810.00453, 2018
32018
Answer Set Solving with Generalized Learned Constraints
M Gebser, R Kaminski, B Kaufmann, P Lühne, J Romero, T Schaub
Technical Communications of the 32nd International Conference on Logic …, 2016
22016
Imaginary Reality Basketball: A Ball Game Without a Ball
P Baudisch, H Pohl, S Reinicke, E Wittmers, P Lühne, M Knaust, S Köhler, ...
CHI'14 Extended Abstracts on Human Factors in Computing Systems, 575-578, 2014
12014
Verifying Strong Equivalence of Programs in the Input Language of gringo
V Lifschitz, P Lühne, T Schaub
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2019
2019
anthem: Transforming gringo Programs into First-Order Theories
V Lifschitz, P Lühne, T Schaub
Discovering and Proving Invariants in Answer Set Programming and Planning
P Lühne
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–14