Experiences with Distributed Systems - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 384

2014

Alternative automata-based approaches to probabilistic model checkingDavid Müller 0001. dfg 2014: 149

An Affordance-Based Conception of Social Space for Socially-Aware Robot PlacementFelix Lindner 0001. dfg 2014: 28

Object and scene relations in 3D scene understandingStephan Richter 0001. dfg 2014: 78

Deciding MSO over w-Words by means of Finite AutomataStephan Barth 0001. dfg 2014: 104

Approximation Algorithms for Combinatorial AuctionsOliver Göbel 0002. dfg 2014: 39

A 3-Stage Evaluation Framework for Layout Stability of Hierarchical Visualization TechniquesSebastian Hahn 0003. dfg 2014: 225

Image Processing Architecture Synthesis (IPAS)Christian Hartmann 0003. dfg 2014: 175

Foundations of Dynamic Coalitions Process-Oriented Modeling of Dynamic CoalitionsYoussef Arbach. dfg 2014: 121

Data-Dependent Controller Synthesis for Correct Service CompositionFranziska Bathelt-Tok. dfg 2014: 122

Modeling Multi-Sensory Integration For Orientation and Action Selection in The Superior ColliculusJohannes Bauer. dfg 2014: 18

Efficient Grammar Induction for Wide-coverage Semantic ParsingSebastian Beschke. dfg 2014: 19

Verification of Code for Programmable Logic ControllersSebastian Biallas. dfg 2014: 37

A Protocol Framework for Highly Reliable Ultra-Low Latency CommunicationMartina Brachmann. dfg 2014: 69

Scenario-based Creation of Behavioural Models and their Evaluation in Smart EnvironmentsGregor Buchholz. dfg 2014: 85

Formal Semantics for Models with Meta-PredicatesStephan Böhme. dfg 2014: 213

Context-sensitive Knowledge Representation and ReasoningIsmael Ceylan. dfg 2014: 214

Discovering the neural basis for setting learning rates during value-based decision-makingSamson Chien. dfg 2014: 20

Active Intrusion Detection in Self-Organized Wireless Multihop NetworksRodrigo do Carmo. dfg 2014: 70

Vision-based Autonomous Navigation of Quadrotors in Unstructured EnvironmentSergiu Dotenco. dfg 2014: 172

Quantitative Automata and Logics on Tree-like StructuresStefan Dück. dfg 2014: 141

Quantitative methods for similarity and generalization in Description LogicsAndreas Ecke. dfg 2014: 142

Efficient Coding of Non-Conventional Video Data StructuresAndrea Eichenseer. dfg 2014: 173

Verification Techniques for Dynamically Typed ProgramsBjörn Engelmann. dfg 2014: 158

Babelsberg: Unifying Constraint Satisfaction with Object-oriented ExecutionTim Felgentreff. dfg 2014: 224

Structure-Changing Petri Nets as a Mode! of Adverse ConditionsNils Erik Flick. dfg 2014: 160

Multimodal integration in graspingChristian Floß-Löwenkamp. dfg 2014: 22

Distributed Algorithms for Scheduling in Wireless NetworksFabian Fuchs. dfg 2014: 5

Motor Learning in Immersive Virtual EnvironmentsSteve Funke. dfg 2014: 196

Automated Pattern Learning for Event Pattern MatchingLars George. dfg 2014: 59

Peer-to-Peer Protocol Security in Critical and Mobile EnvironmentsDaniel Germanus. dfg 2014: 71

Qualitative and Quantitative Approaches to Formalizing Prototypes in Knowledge RepresentationOliver Fernandez Gil. dfg 2014: 144

Enhancement of Mobility and Multi-homing in Heterogeneous Network EnvironmentsAlexander Gladisch. dfg 2014: 87

A model-based Optical Navigation SystemThorsten Graber. dfg 2014: 72

Invariant Generation for Probabilistic ProgramsFriedrich Gretz. dfg 2014: 40

Multimodal based Objects Categorization and RecognitionHaojun Guan. dfg 2014: 23

Precise and Scalable Localization in Ad-hoc Networks using Inertial Data FusionTobias Gädeke. dfg 2014: 6

Generation and Refinement of PLC Function BlocksFlorian Göbe. dfg 2014: 38

Analysis of fault tolerant software systemsLena Herscheid. dfg 2014: 226

Shared Reconfigurable Sensor-Actuator NetworksChih-Ming Hsieh. dfg 2014: 8

Fast and Generic Hardware Architectures for 3D Image Acquisition and ProcessingKonrad Häublein. dfg 2014: 174

Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science - Dagstuhl 2014, Dagstuhl, Germany, June 15-18, 2014Anja Jentzsch, Tobias Pape, Sebastian Pasewaldt, editors, Pro Business GmbH, 2014.

Interactive Hyperspectral Image Visualization and AnalysisJohannes Jordan. dfg 2014: 177

Role-based Database Model and ArchitectureTobias Jäkel. dfg 2014: 216

Processes of Cooperation around Tabletops for MuseumsKalja Kanellopoulos. dfg 2014: 198

Dynamic Event Structures and ConcurrencyDavid S. Karcher. dfg 2014: 127

Outlier Mining in Sensor-networksFabian Keller. dfg 2014: 9

Managing the Performance vs. Productivity Trade-off in Hybrid Parallel ComputingFahad Khalid. dfg 2014: 229

Cooperation and Network Coding based MAC Protocol for VANETsSaifullah Khan. dfg 2014: 163

Spatial number representation depends on both semantic and visual properties of numbersKarl K. Kopiske. dfg 2014: 27

Uncertainty in Land-Use Change ModelingCarsten Krüger. dfg 2014: 60

Using Cross-Modal Context for Diagnosing Language Learner ErrorsChristine Köhn. dfg 2014: 26

A Framework for Interaction in a Virtual 3D Stereoscopic Environment for Multiple PersonsVincent Küszter. dfg 2014: 200

Model-Based Test Design for Software Product LinesHarmut Lackner. dfg 2014: 61

Compositionality in Probabilistic Model CheckingLinda Leuschner. dfg 2014: 147

Explicit Role Invocation DispatchMax Leuthäuser. dfg 2014: 218

Temporalised Description Logics for Monitoring Partially Observable EventsMarcel Lippmann. dfg 2014: 148

Efficient Spatiotemporal Sampling in Wireless Sensor Networks based on Compressed SensingMohammadreza Mahmudimanesh. dfg 2014: 77

Sensor-Assisted Mobile LearningKai-Uwe Martin. dfg 2014: 203

Correlation Analysis for Data AnalyticsHoang Vu Nguyen. dfg 2014: 10

Privacy Aware Data Exchange in Distributed Health InfrastructuresJan Hendrik Nielsen. dfg 2014: 129

Efficient Probabilistic Semantics for Symbolic Behavioural ModelsMartin Nyolt. dfg 2014: 93

Using Static Analysis to Support Programming on Devices with Touch Based InputMathias Obster. dfg 2014: 45

Robust Spatio-Temporal Logic for Mobile AgentsHeinrich Ody. dfg 2014: 164

Weighted Automata and Logics for Natural Language ProcessingJohannes Osterholzer. dfg 2014: 150

Adaptive Data Structures Optimizations in Language ImplementationsTobias Pape. dfg 2014: 231

Multi-weighted automata models and quantitative logicsVitaly Perevoshchikov. dfg 2014: 151

Correctness of Attributed Graph Transformation Systems under Adverse ConditionsChristoph Peuser. dfg 2014: 165

New Processor Architectures Utilizing 3D Chip StackingBenjamin Pfundt. dfg 2014: 180

Spatial Mapping of Input, Content and Output Spaces in VE and Effects on Spatial Presence ExperiencesDaniel Pietschmann. dfg 2014: 204

Graph Embeddings for Routing in Wireless NetworksRoman Prutkin. dfg 2014: 12

Scenario-Based Design of Data-Dependent ServicesRobert Prüfer. dfg 2014: 130

Processing and Visualization of THz-DataMartin Pätzold. dfg 2014: 113

Consistent Programming Models and Tools for Designing Heterogeneous Image SystemsOliver Reiche. dfg 2014: 181

Automatic presentations of infinite structuresFrederic Reinhardt. dfg 2014: 47

Sec-Home: A Security-Enhanced Framework for Smart Home EnvironmentsRene Romann. dfg 2014: 96

Energy efficiency in multi-application wireless sensor networksFarzad Samie. dfg 2014: 14

Using BCI techniques for intention recognition in smart environmentSudhir Sasane. dfg 2014: 97

Automatic Optimization for Data-Parallel Streaming SystemsMatthias J. Sax. dfg 2014: 65

Thermal Infrared Textures of 3D FacesBjörn Schiefen. dfg 2014: 115

Transforming BPMN-treatment models into CSPsDenny Schneeweiß. dfg 2014: 131

Data Collection and Data Processing for On-Line Simulation in Smart EnvironmentsJohannes Schützel. dfg 2014: 99

Face Recognition in Unknown and Difficult Lighting ConditionsDavoud Shahlaei. dfg 2014: 116

Concept of a Novel CMOS Image Sensor Architecture for Analog Image Pre-ProcessingLan Shi. dfg 2014: 184

Content based image authentication with tamper detection capabilityJinse Shin. dfg 2014: 111

Evaluating computational models of sensorimotor contingenciesStefan Skoruppa. dfg 2014: 29

Integrated Circuits for Analog Signalprocessing in Heterogeneous Image SystemsChristopher Soell. dfg 2014: 185

Making Multi Touch Tabletops perceive their UsersMichael Storz. dfg 2014: 206

World Modeling and Movement Planning for Mobile RobotsAlexander Stumpf. dfg 2014: 80

Ongoing oscillatory brain activity in pain perceptionPhilipp Taesler. dfg 2014: 31

Sensor-based Perception of non-verbal CommunicationAnke Tallig. dfg 2014: 207

Modeling VisionMichael Teichmann. dfg 2014: 208

Understanding Code with Execution TracesArian Treffer. dfg 2014: 236

Mechanism Design for Combinatorial AuctionsAndreas Tönnis. dfg 2014: 49

Security Quantification in Mixed Mode SystemsTsvetoslava Vateva-Gurova. dfg 2014: 81

Certifying Algorithms for Interactive Components and Distributed SystemsKim Völlinger. dfg 2014: 133

Stateless Level of Detail Lighting for Automotive VisualizationChristoph Weber. dfg 2014: 187

A memory-centric run-time executive for heterogeneous many-core systemsAlexander Würstlein. dfg 2014: 189

Haptic-sonified Virtuals Environment for Spatial Knowledge Acquisition of Blind and Visually-impaired peopleJunlei Yu. dfg 2014: 32

Own Actions and Multisensory IntegrationBjörn Zierul. dfg 2014: 34

Resource-aware Computer Vision Algorithms on Heterogeneous MPSoC ArchitecturesÉricles Rodrigues Sousa. dfg 2014: 186

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

Experiences with Distributed Systems (dfg)

Viewing Publication 1 - 100 from 384

2014

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

Experiences with Distributed Systems (dfg)

Viewing Publication 1 - 100 from 384

2014

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1