Forschungspapier (740)
10661.
Forschungspapier
SCL with Theory Constraints. (2020), 22 S.
10662.
Forschungspapier
PALS: Plesiochronous and Locally Synchronous Systems. (2020), 15 S.
10663.
Forschungspapier
Counting Query Answers over a DL-Lite Knowledge Base (extended version). (2020), 15 S.
10664.
Forschungspapier
Joint Reasoning for Multi-Faceted Commonsense Knowledge. (2020), 11 S.
10665.
Forschungspapier
Faster Approximate Pattern Matching: A Unified Approach. (2020), 74 S.
10666.
Forschungspapier
Perceptual Error Optimization for Monte Carlo Rendering. (2020), 33 S.
10667.
Forschungspapier
HDR Denoising and Deblurring by Learning Spatio-temporal Distortion Models. (2020), 11 S.
10668.
Forschungspapier
On the Computational Tractability of a Geographic Clustering Problem Arising in Redistricting. (2020), 21 S.
10669.
Forschungspapier
A Breezing Proof of the KMW Bound. (2020), 22 S.
10670.
Forschungspapier
Foraging-based Optimization of Menu Systems. (2020), 37 S.
10671.
Forschungspapier
Optimal Testing of Discrete Distributions with High Probability. (2020), 48 S.
10672.
Forschungspapier
PoseTrackReID: Dataset Description. (2020), 3 S.
10673.
Forschungspapier
Sampling Hypergraphs with Given Degrees. (2020), 22 S.
10674.
Forschungspapier
Analyzing the Dependency of ConvNets on Spatial Information. (2020)
10675.
Forschungspapier
VideoForensicsHQ: Detecting High-quality Manipulated Face Videos. (2020), 21 S.
10676.
Forschungspapier
A Calculus for Modular Loop Acceleration. (2020), 25 S.
10677.
Forschungspapier
Uncovering Hidden Semantics of Set Information in Knowledge Bases. (2020), 15 S.
10678.
Forschungspapier
CounQER: A System for Discovering and Linking Count Information in Knowledge Bases. (2020), 6 S.
10679.
Forschungspapier
Parameterized Algorithms for Generalizations of Directed Feedback Vertex Set. (2020), 18 S.
10680.
Forschungspapier
Hitting Long Directed Cycles is Fixed-Parameter Tractable. (2020), 50 S.