Search results for "Horn"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Markus Tranninger, Sergiy Zhuk, Martin Steinberger, Leonid M. Fridman, Martin Horn	Sliding Mode Tangent Space Observer for LTV Systems with Unknown Inputs.	CDC	2018	DBLP DOI BibTeX RDF
17	Martin Kirchengast, Martin Steinberger, Martin Horn	A Fast Quadratic Program Solver for Constrained Control Allocation.	CDC	2018	DBLP DOI BibTeX RDF
17	Alireza Mohammadi 0001, Seyed Abolfazl Fakoorian, Jonathan C. Horn, Dan Simon, Robert D. Gregg	Hybrid Nonlinear Disturbance Observer Design for Underactuated Bipedal Robots.	CDC	2018	DBLP DOI BibTeX RDF
17	Jakob Ludwiger, Martin Steinberger, Martin Horn, Gernot Kubin, Antonella Ferrara	Discrete Time Sliding Mode Control Strategies for Buffered Networked Systems.	CDC	2018	DBLP DOI BibTeX RDF
17	Moritz Lipp, Michael Schwarz 0001, Daniel Gruss, Thomas Prescher 0002, Werner Haas 0004, Anders Fogh, Jann Horn, Stefan Mangard, Paul Kocher, Daniel Genkin, Yuval Yarom, Mike Hamburg	Meltdown: Reading Kernel Memory from User Space.	USENIX Security Symposium	2018	DBLP BibTeX RDF
17	Taiyi Wang, Yajun Fang, Berthold K. P. Horn	Why Do We Need Bilateral Control? - In View Of Energy Consumption.	UV	2018	DBLP DOI BibTeX RDF
17	Xiushi Wang, Yajun Fang, Yang Liu 0142, Berthold K. P. Horn	A Survey on the Status of Open Data and Its Future.	UV	2018	DBLP DOI BibTeX RDF
17	Zihan Cao, Yang Liu 0142, Longfei Zhou, Yajun Fang, Berthold K. P. Horn	A Macroscopic Traffic Simulation Model to Mingle Manually Operated and Self-driving Cars.	UV	2018	DBLP DOI BibTeX RDF
17	Hongkai Chen, Guanghua Cheng, Tianhong Shen, Yang Liu 0142, Yajun Fang, Berthold K. P. Horn	A Method to Extract Overall Trajectory Information from Frame Sequence of Fixed Background without Object Tracking.	UV	2018	DBLP DOI BibTeX RDF
17	Ruzhang Zhao, Yajun Fang, Berthold K. P. Horn	A Simple Change Comparison Method for Image Sequences Based on Uncertainty Coefficient.	UV	2018	DBLP DOI BibTeX RDF
17	Yi Tao, Jiahui Chen, Yajun Fang, Ichiro Masaki, Berthold K. P. Horn	Adaptive Spatio-temporal Model Based Multiple Object Tracking in Video Sequences Considering a Moving Camera.	UV	2018	DBLP DOI BibTeX RDF
17	Manqing Feng, Guoxin Huang, Chuyuan Zhang, Yang Liu 0142, Yajun Fang, Berthold K. P. Horn	Transcribing Latin Manuscripts in Respect to Linguistics.	UV	2018	DBLP DOI BibTeX RDF
17	Edgar S. Fu, Yajun Fang, Berthord K. P. Horn	Power of ocean: Evaluation of blue energy.	UV	2018	DBLP DOI BibTeX RDF
17	Hao Qiu, Yang Liu 0142, Yajun Fang, Berthold K. P. Horn	Smart Safety, A Survey on Smart Safety Technologies.	UV	2018	DBLP DOI BibTeX RDF
17	Jiahui Chen 0001, Yajun Fang, Hao Sheng 0001, Ichiro Masaki, Berthold K. P. Horn, Zhang Xiong 0001	Real-time Vehicle Status Perception Without Frame-based Segmentation for Smart Camera Network.	UV	2018	DBLP DOI BibTeX RDF
17	Xiao Yang, Yajun Fang, Berthold K. P. Horn	Analysis of Information Exchange: How Does It Affect Patient-Hospital Relationship?	UV	2018	DBLP DOI BibTeX RDF
17	Qi Chen, Guanghua Cheng, Yajun Fang, Yang Liu 0142, Zejun Zhang, Yiyang Gao, Berthold K. P. Horn	Real-time Learning-based Monitoring System for Water Contamination.	UV	2018	DBLP DOI BibTeX RDF
17	Guoxin Huang, Yajun Fang, Xiushi Wang, Yu Pei, Berthold K. P. Horn	A Survey on the Status of Smart Healthcare from the Universal Village Perspective.	UV	2018	DBLP DOI BibTeX RDF
17	Edgar S. Fu, Yajun Fang, Berthord K. P. Horn	Smart city: Evaluation of intelligent agents.	UV	2018	DBLP DOI BibTeX RDF
17	Chuyuan Zhang, Yajun Fang, Berthold K. P. Horn	Nubilum Ad Hominem: Taking smart homes steps further.	UV	2018	DBLP DOI BibTeX RDF
17	Zhanyuan Huang, Yang Liu 0142, Yajun Fang, Berthold K. P. Horn	Video-based Fall Detection for Seniors with Human Pose Estimation.	UV	2018	DBLP DOI BibTeX RDF
17	José E. Moreira, Manoj Kumar 0006, William P. Horn	Implementing the GraphBLAS C API.	IPDPS Workshops	2018	DBLP DOI BibTeX RDF
17	Amartya Banerjee, Rovik Robert, Michael S. Horn	FieldGuide: Smartwatches in a Multi-display Museum Environment.	CHI Extended Abstracts	2018	DBLP DOI BibTeX RDF
17	Jessica Roberts, Amartya Banerjee, Annette Hong, Steven McGee, Michael S. Horn, Matt Matcuk	Digital Exhibit Labels in Museums: Promoting Visitor Engagement with Cultural Artifacts.	CHI	2018	DBLP DOI BibTeX RDF
17	Zeina Atrash Leong, Michael S. Horn, Lisa Thaniel, Emily Meier	Inspiring AWE: Transforming Clinic Waiting Rooms into Informal Learning Environments with Active Waiting Education.	CHI	2018	DBLP DOI BibTeX RDF
17	Nancy Yao, Jeff Brewer, Sarah D'Angelo, Mike S. Horn, Darren Gergle	Visualizing Gaze Information from Multiple Students to Support Remote Instruction.	CHI Extended Abstracts	2018	DBLP DOI BibTeX RDF
17	Britton Horn, Josh Aaron Miller, Gillian Smith 0001, Seth Cooper	A Monte Carlo Approach to Skill-Based Automated Playtesting.	AIIDE	2018	DBLP BibTeX RDF
17	Christopher Horn, Marina Tropmann-Frick	Privacy Issues for Cloud Systems.	DEXA Workshops	2018	DBLP DOI BibTeX RDF
17	Markus Tranninger, Martin Steinberger, Leonid M. Fridman, Martin Horn, Sergiy Zhuk	Robust State Estimation for Linear Time Varying Lateral Vehicle Dynamics with Unknown Road Curvature.	VSS	2018	DBLP DOI BibTeX RDF
17	Mohammad Ali Golkani, Leonid M. Fridman, Stefan Koch 0002, Markus Reichhartinger, Martin Horn	Saturated Continuous Twisting Algorithm.	VSS	2018	DBLP DOI BibTeX RDF
17	Richard Seeber, Martin Horn	Necessary and sufficient stability criterion for the super-twisting algorithm.	VSS	2018	DBLP DOI BibTeX RDF
17	Selma Zoljic-Beglerovic, Mohammad Ali Golkani, Martin Steinberger, Martin Horn	Robust Parameter Identification for Railway Suspension Systems.	VSS	2018	DBLP DOI BibTeX RDF
17	Astrid Rupp, Raffael Wallner, Stefan Koch 0002, Markus Reichhartinger, Martin Horn	Sliding Mode Based Platooning with Actuator Dynamics.	VSS	2018	DBLP DOI BibTeX RDF
17	Thiago A. Pereira, Thamires P. Horn, Walbermark M. dos Santos, Samir Ahmad Mussa, Denizar Cruz Martins, Roberto Francisco Coelho	Electrical characterizer of photovoltaic modules using the DC/DC Ćuk converter.	ICIT	2018	DBLP DOI BibTeX RDF
17	Gustavo Eggert Boehs, Milton Luiz Horn Vieira, Clovis Geyer Pereira	Decoupling Expressiveness and Body-Mechanics in Human Motion.	SIBGRAPI	2018	DBLP DOI BibTeX RDF
17	Yasmin B. Kafai, Mike S. Horn, Joshua A. Danish, Megan Humburg, Xintian Tu, Bria Davis, Chris Georgen, Noel Enyedy, Paulo Blikstein, Tamara L. Clegg, Virginia L. Byrne, Leyla Norooz, Seokbin Kang, Jon Froehlich, Justice Toshiba Walker, Debora Lui, Emma Anderson, Engin Bumbacher, Peter Washington 0001, Ingmar H. Riedel-Kruse	Affordances of Digital, Textile and Living Media for Designing and Learning Biology in K-12 Education.	ICLS	2018	DBLP BibTeX RDF
17	Melissa S. Gresalfi, Ilana Seidel Horn, Lara Jasien, Panchompoo Wisittanawat, Jasmine Y. Ma, Sarah C. Radke, Victoria Guyevskey, Nathalie Sinclair, Anna Sfard	Playful Mathematics Learning: Beyond Early Childhood and Sugar-Coating.	ICLS	2018	DBLP BibTeX RDF
17	Krystal Villanosa, Mike S. Horn	Words Mean Things: How Museum Workers' Discursive Practices Position the Diverse Communities They Seek to Engage.	ICLS	2018	DBLP BibTeX RDF
17	Hillary Swanson, Golnaz Arastoopour Irgens, Connor Bain, Kevin Hall, Philip Woods, Carson Rogge, Mike S. Horn, Uri Wilensky	Characterizing Computational Thinking in High School Science.	ICLS	2018	DBLP BibTeX RDF
17	Mike Tissenbaum, Josh Sheldon, Mark A. Sherman, Hal Abelson, David Weintrop, Kemi Jona, Mike S. Horn, Uri Wilensky, Satabdi Basu, Daisy Rutstein, Eric Snow, Linda Shear, Shuchi Grover, Irene A. Lee, Eric Klopfer, Gayithri Jayathirtha, Mia S. Shaw, Yasmin B. Kafai, Eni Mustafaraj, Will Temple, R. Benjamin Shapiro, Debora Lui, Clara Sorensen	The State of the Field in Computational Thinking Assessment.	ICLS	2018	DBLP BibTeX RDF
17	Lara Jasien, Ilana Seidel Horn	"Ohhh, Now I Can Do It!": School-age Children's Spontaneous Mathematical Sensemaking in Construction Play.	ICLS	2018	DBLP BibTeX RDF
17	Grant Van Horn, Steve Branson, Scott Loarie, Serge J. Belongie, Pietro Perona	Lean Multiclass Crowdsourcing.	CVPR	2018	DBLP BibTeX RDF
17	Grant Van Horn, Oisin Mac Aodha, Yang Song 0009, Yin Cui, Chen Sun 0002, Alexander Shepard, Hartwig Adam, Pietro Perona, Serge J. Belongie	The INaturalist Species Classification and Detection Dataset.	CVPR	2018	DBLP BibTeX RDF
17	Sisi Ma, Rui Zhang 0028, Jessica Munroe, Lindsey Shanahan, Sarah Horn, Stuart M. Speedie	Estimating New York Heart Association Classification for Heart Failure Patients from Information in the Electronic Health Record.	BIBM	2018	DBLP DOI BibTeX RDF
17	Eva Darulova, Einar Horn, Saksham Sharma	Sound mixed-precision optimization with rewriting.	ICCPS	2018	DBLP DOI BibTeX RDF
17	Tom Kittmann, Jens Lambrecht, Christian Horn	A privacy-aware distributed software architecture for automation services in compliance with GDPR.	ETFA	2018	DBLP DOI BibTeX RDF
17	Geir Horn, Pawel Skrzypek	MELODIC: Utility Based Cross Cloud Deployment Optimisation.	AINA Workshops	2018	DBLP DOI BibTeX RDF
17	Sara Beery, Grant Van Horn, Pietro Perona	Recognition in Terra Incognita.	ECCV (16)	2018	DBLP DOI BibTeX RDF
17	Hao-Ting Wei, Wing-Kai Hon, Paul Horn, Chung-Shou Liao, Kunihiko Sadakane	An O(1)-Approximation Algorithm for Dynamic Weighted Vertex Cover with Soft Capacity.	APPROX-RANDOM	2018	DBLP DOI BibTeX RDF
17	Niki Vazou, Joachim Breitner, Rose Kunkel, David Van Horn, Graham Hutton	Theorem proving for all: equational reasoning in liquid Haskell (functional pearl).	Haskell@ICFP	2018	DBLP DOI BibTeX RDF
17	Kyriakos Kritikos, Geir Horn	IaaS Service Selection Revisited.	ESOCC	2018	DBLP DOI BibTeX RDF
17	Astrid Rupp, Martin Steinberger, Martin Horn	Sliding Mode Based Platooning With Non-Zero Initial Spacing Errors.	IEEE Control. Syst. Lett.	2017	DBLP DOI BibTeX RDF
17	David Darais, Nicholas Labich, Phuc C. Nguyen, David Van Horn	Abstracting definitional interpreters (functional pearl).	Proc. ACM Program. Lang.	2017	DBLP DOI BibTeX RDF
17	Huihua Zhao, Jonathan Horn, Jacob Reher, Victor Paredes, Aaron D. Ames	First steps toward translating robotic walking to prostheses: a nonlinear optimization based control approach.	Auton. Robots	2017	DBLP DOI BibTeX RDF
17	Jeretta Horn Nord, Maria Teresa Riggio, Joanna Paliszkiewicz	Social and Economic Development through Information and Communications Technologies: Italy.	J. Comput. Inf. Syst.	2017	DBLP DOI BibTeX RDF
17	Hans-Joachim Maempel, Michael Horn	Audiovisual perception of real and virtual rooms.	J. Virtual Real. Broadcast.	2017	DBLP DOI BibTeX RDF
17	Il-Horn Hann, JooHee Oh	Combating Prerelease Piracy: Modeling the Effects of Antipiracy Measures in P2P Networks.	INFORMS J. Comput.	2017	DBLP DOI BibTeX RDF
17	Ilker Oruc, Joseph F. Horn, Jeremy Shipman, Susan Polsky	Towards real-time pilot-in-the-loop CFD simulations of helicopter/ship dynamic interface.	Int. J. Model. Simul. Sci. Comput.	2017	DBLP DOI BibTeX RDF
17	Hongyan Cui, Kuo Zhang, Yajun Fang, Stanislav Sobolevsky, Carlo Ratti, Berthold K. P. Horn	A Clustering Validity Index Based on Pairing Frequency.	IEEE Access	2017	DBLP DOI BibTeX RDF
17	Richard Seeber, Nicolaos Dourdoumas, Martin Horn	Ein Modalmaß für Beobachtbarkeit und perspektivische Beobachtbarkeit linearer zeitinvarianter Systeme.	Autom.	2017	DBLP DOI BibTeX RDF
17	Helen Ai He, Naomi Yamashita, Chat Wacharamanotham, Andrea B. Horn, Jenny Schmid, Elaine M. Huang	Two Sides to Every Story: Mitigating Intercultural Conflict through Automated Feedback and Shared Self-Reflections in Global Virtual Teams.	Proc. ACM Hum. Comput. Interact.	2017	DBLP DOI BibTeX RDF
17	Kevin S. Van Horn	From propositional logic to plausible reasoning: A uniqueness theorem.	Int. J. Approx. Reason.	2017	DBLP DOI BibTeX RDF
17	Andreas Horn, Andrea A. Kühn, Angela Merkl, Ludy Shih, Ron Alterman, Michael D. Fox	Probabilistic conversion of neurosurgical DBS electrode coordinates into MNI space.	NeuroImage	2017	DBLP DOI BibTeX RDF
17	Marc Hanheide, Moritz Göbelbecker, Graham S. Horn, Andrzej Pronobis, Kristoffer Sjöö, Alper Aydemir, Patric Jensfelt, Charles Gretton, Richard Dearden, Miroslav Janícek, Hendrik Zender, Geert-Jan M. Kruijff, Nick Hawes, Jeremy L. Wyatt	Robot task planning and explanation in open and uncertain worlds.	Artif. Intell.	2017	DBLP DOI BibTeX RDF
17	Richard Seeber, Martin Horn	Stability proof for a well-established super-twisting parameter setting.	Autom.	2017	DBLP DOI BibTeX RDF
17	Antonia Stank, Daria B. Kokh, Max Horn, Elena Sizikova, Rebecca Neil, Joanna Panecka, Stefan Richter 0002, Rebecca C. Wade	TRAPP webserver: predicting protein binding site flexibility and detecting transient binding pockets.	Nucleic Acids Res.	2017	DBLP DOI BibTeX RDF
17	Yixin Qiu, Anandasivam Gopal, Il-Horn Hann	Logic Pluralism in Mobile Platform Ecosystems: A Study of Indie App Developers on the iOS App Store.	Inf. Syst. Res.	2017	DBLP DOI BibTeX RDF
17	Kevin S. Van Horn	From Propositional Logic to Plausible Reasoning: A Uniqueness Theorem.	CoRR	2017	DBLP BibTeX RDF
17	Eva Darulova, Einar Horn, Saksham Sharma	Sound Mixed-Precision Optimization with Rewriting.	CoRR	2017	DBLP BibTeX RDF
17	Nathanaël Fijalkow, Hugo Gimbert, Florian Horn 0001, Youssouf Oualhadj	Two Recursively Inseparable Problems for Probabilistic Automata.	CoRR	2017	DBLP BibTeX RDF
17	Daniel Reiter Horn, Ken Elkabany, Chris Lesniewski-Laas, Keith Winstein	The Design, Implementation, and Deployment of a System to Transparently Compress Hundreds of Petabytes of Image Files for a File-Storage Service.	CoRR	2017	DBLP BibTeX RDF
17	Nathanaël Fijalkow, Florian Horn 0001, Denis Kuperberg, Michal Skrzypczak	Trading Bounds for Memory in Games with Counters.	CoRR	2017	DBLP BibTeX RDF
17	Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn	Soft Contract Verification for Higher-Order Stateful Programs.	CoRR	2017	DBLP BibTeX RDF
17	David Darais, Nicholas Labich, Phuc C. Nguyen, David Van Horn	Abstracting Definitional Interpreters.	CoRR	2017	DBLP BibTeX RDF
17	Anh Duc Dang, Hung Manh La, Thang Nguyen 0002, Joachim Horn	Distributed Formation Control for Autonomous Robots in Dynamic Environments.	CoRR	2017	DBLP BibTeX RDF
17	Xu Han 0009, Roland Kwitt, Stephen R. Aylward, Bjoern H. Menze, Alexander Asturias, Paul M. Vespa, John D. Van Horn, Marc Niethammer	Brain Extraction from Normal and Pathological Images: A Joint PCA/Image-Reconstruction Approach.	CoRR	2017	DBLP BibTeX RDF
17	Alex Horn, Ali Kheradmand, Mukul R. Prasad	Delta-net: Real-time Network Verification Using Atoms.	CoRR	2017	DBLP BibTeX RDF
17	Franziska Horn	Context encoders as a simple but powerful extension of word2vec.	CoRR	2017	DBLP BibTeX RDF
17	Franziska Horn, Leila Arras, Grégoire Montavon, Klaus-Robert Müller, Wojciech Samek	Exploring text datasets by visualizing relevant words.	CoRR	2017	DBLP BibTeX RDF
17	Franziska Horn, Leila Arras, Grégoire Montavon, Klaus-Robert Müller, Wojciech Samek	Discovering topics in text datasets by visualizing relevant words.	CoRR	2017	DBLP BibTeX RDF
17	Franziska Horn, Klaus-Robert Müller	Learning similarity preserving representations with neural similarity encoders.	CoRR	2017	DBLP BibTeX RDF
17	Zlatan Ajanovic, Michael Stolz, Martin Horn	Novel model-based heuristics for energy optimal motion planning of an autonomous vehicle using A.	CoRR	2017	DBLP BibTeX RDF
17	Grant Van Horn, Pietro Perona	The Devil is in the Tails: Fine-grained Classification in the Wild.	CoRR	2017	DBLP BibTeX RDF
17	Grant Van Horn, Oisin Mac Aodha, Yang Song 0009, Alexander Shepard, Hartwig Adam, Pietro Perona, Serge J. Belongie	The iNaturalist Challenge 2017 Dataset.	CoRR	2017	DBLP BibTeX RDF
17	Franziska Horn	Interactive Exploration and Discovery of Scientific Publications with PubVis.	CoRR	2017	DBLP BibTeX RDF
17	Kristina Doycheva, Gordon Horn, Christian Koch 0001, Andreas Schumann, Markus König	Assessment and weighting of meteorological ensemble forecast members based on supervised machine learning with application to runoff simulations and flood warning.	Adv. Eng. Informatics	2017	DBLP DOI BibTeX RDF
17	Kirk Boyer, Paul Horn, Mario Alberto López	On the barrier graph of an arrangement of ray sensors.	Discret. Appl. Math.	2017	DBLP DOI BibTeX RDF
17	Alex A. T. Bui, John Darrell Van Horn, N. I. H. BD2K Centers Consortium	Envisioning the future of 'big data' biomedicine.	J. Biomed. Informatics	2017	DBLP DOI BibTeX RDF
17	Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn	Higher order symbolic execution for contract verification and refutation.	J. Funct. Program.	2017	DBLP DOI BibTeX RDF
17	Lana X. Garmire, Stephen V. Gliske, Quynh C. Nguyen, Jonathan H. Chen, Shamim Nemati, John D. Van Horn, Jason H. Moore, Carol Shreffler, Michelle Dunn	The Training of Next Generation Data Scientists in Biomedicine.	PSB	2017	DBLP BibTeX RDF
17	Jamie Thomson, Chris Hass, Ivor Horn, Elizabeth Kleine, Stephanie Mitchell, Kevin A. Gary, Ishrat Ahmed, Derek B. Hamel, Ashish Amresh	Aspira: Employing a serious game in an mHealth app to improve asthma outcomes.	SeGAH	2017	DBLP DOI BibTeX RDF
17	Pei-Yi (Patricia) Kuo, Michael S. Horn	Daily challenges for sustainable lifestyles: design implications from a mobile intervention study.	UbiComp/ISWC Adjunct	2017	DBLP DOI BibTeX RDF
17	Marc Tschentscher, Ben Prus, Daniela Horn	A simulated car-park environment for the evaluation of video-based on-site parking guidance systems.	Intelligent Vehicles Symposium	2017	DBLP DOI BibTeX RDF
17	Matthias Horn, Günther R. Raidl, Christian Blum 0001	Job Sequencing with One Common and Multiple Secondary Resources: A Problem Motivated from Particle Therapy for Cancer Treatment.	MOD	2017	DBLP DOI BibTeX RDF
17	André Salomão, Flávio Andaló, Milton Luiz Horn Vieira	Understanding Game Design for the Development of a Game Environment.	HCI (29)	2017	DBLP DOI BibTeX RDF
17	Aditi Wagh, Sharona T. Levy, Michael S. Horn, Yu Guo, Corey E. Brady, Uri Wilensky	Anchor Code: Modularity as Evidence for Conceptual Learning and Computational Practices of Students Using a Code-First Environment.	CSCL	2017	DBLP BibTeX RDF
17	Amir Taherkordi, Frank Eliassen, Geir Horn	From IoT big data to IoT big services.	SAC	2017	DBLP DOI BibTeX RDF
17	Alireza Mohammadi 0001, Jonathan Horn, Robert D. Gregg	Removing phase variables from biped robot parametric gaits.	CCTA	2017	DBLP DOI BibTeX RDF
17	Joyce Horn Fonteles, Maria Stephanie S. Fernandes, Daniel L. Queiroz, Maria Andréia Formico Rodrigues	Interactive Musical Game with a Gesture-Controlled Virtual Puppet.	SVR	2017	DBLP DOI BibTeX RDF
17	José Luis Ambite, Lily Fierro, Florian Geigl, Jonathan Gordon 0001, Gully A. P. C. Burns, Kristina Lerman, John D. Van Horn	BD2K ERuDIte: the Educational Resource Discovery Index for Data Science.	WWW (Companion Volume)	2017	DBLP DOI BibTeX RDF