Patrick Traxler

Publication Activity (10 Years)

Years Active: 2005-2017
Publications (10 Years): 6

Top Topics

Empirical Risk Minimization

Stream Processing

Exponential Size

Computationally Tractable

Top Venues

Publications

Alexander Kogler, Patrick Traxler
Health monitoring of large amounts of photovoltaic systems: a case study. iiWAS (2017)
Alexander Kogler, Patrick Traxler
Parallel and Robust Empirical Risk Minimization via the Median Trick. MACIS (2017)
Alexander Kogler, Patrick Traxler
Locating Faults in Photovoltaic Systems Data. DARE@PKDD/ECML (2016)
Alexander Kogler, Patrick Traxler
Efficient and Robust Median-of-Means Algorithms for Location and Regression. SYNASC (2016)
Patrick Traxler
The Relative Exponential Time Complexity of Approximate Counting Satisfying Assignments. Algorithmica 75 (2) (2016)
Patrick Traxler, Pablo Gómez, Tanja Grill
A Robust Alternative to Correlation Networks for Identifying Faulty Systems. DX (2015)
Thomas Steinmaurer, Patrick Traxler, Michael Zwick, Reinhard Stumptner, Christian Lettner
Combining Stream Processing Engines and Big Data Storages for Data Analysis. ISMIS (2014)
Patrick Traxler
The Relative Exponential Time Complexity of Approximate Counting Satisfying Assignments. IPEC (2014)
Patrick Traxler
The Relative Exponential Time Complexity of Approximate Counting Satisfying Assignments CoRR (2012)
Patrick Traxler
Variable Influences in Conjunctive Normal Forms. SAT (2009)
Patrick Traxler
The Time Complexity of Constraint Satisfaction. IWPEC (2008)
Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran
Replacements in Non-Ground Answer-Set Programming. KR (2006)
Thomas Eiter, Patrick Traxler, Stefan Woltran
An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs. JELIA (2006)
Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran
Replacements in Non-Ground Answer-Set Programming. WLP (2006)
Thomas Eiter, Wolfgang Faber, Patrick Traxler
Testing Strong Equivalence of Datalog Programs - Implementation and Examples. LPNMR (2005)