Abstract is missing.
- Verification of Behaviour Networks Using Finite-State AutomataChristopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz, Karsten Berns. 1-12 [doi]
- Formal Semantics of Model Fields in Annotation-Based SpecificationsBernhard Beckert, Daniel Bruns. 13-24 [doi]
- Searching with Partial Belief States in General Games with Incomplete InformationStefan Edelkamp, Tim Federholzner, Peter Kissmann. 25-36 [doi]
- A Machine-Learning Framework for Hybrid Machine TranslationChristian Federmann. 37-48 [doi]
- Using Equivalences of Worlds for Aggregation Semantics of Relational ConditionalsMarc Finthammer, Christoph Beierle. 49-60 [doi]
- Developing of a Multimodal Interactive Training System in Therapeutic Calisthenics for Elderly PeopleBen Hennig, Norbert Reithinger. 61-72 [doi]
- PAC-Learning with General Class Noise ModelsShahin Jabbari, Robert C. Holte, Sandra Zilles. 73-84 [doi]
- Avoiding Moving Persons by Using Simple Trajectory Prediction and Spatio Temporal PlanningJens Kessler, Jürgen Strobel, Horst-Michael Gross. 85-96 [doi]
- Unsupervised Nearest Neighbors with KernelsOliver Kramer. 97-106 [doi]
- A Compact Encoding of Pseudo-Boolean Constraints into SATSteffen Hölldobler, Norbert Manthey, Peter Steinke. 107-118 [doi]
- Small Talk Is More than Chit-Chat - Exploiting Structures of Casual Conversations for a Virtual AgentNikita Mattar, Ipke Wachsmuth. 119-130 [doi]
- Clustering Based on Density Estimation with Sparse GridsBenjamin Peherstorfer, Dirk Pflüger, Hans-Joachim Bungartz. 131-142 [doi]
- A Comparison between Cognitive and AI Models of Blackjack Strategy LearningMarvin R. G. Schiller, Fernand R. Gobet. 143-155 [doi]
- Plan Recognition by Program Execution in Continuous Temporal DomainsChristoph Schwering, Daniel Beck, Stefan Schiffer 0002, Gerhard Lakemeyer. 156-167 [doi]
- Modeling Human Motion Trajectories by Sparse Activation of Motion Primitives Learned from Unpartitioned DataChristian Vollmer, Julian Eggert, Horst-Michael Gross. 168-179 [doi]
- Nogoods in Qualitative Constraint-Based ReasoningMatthias Westphal, Julien Hué. 180-192 [doi]
- Stochastic Gradient Descent with GPGPUDavid Zastrau, Stefan Edelkamp. 193-204 [doi]
- Improved Query Suggestion by Query SearchXiaomin Zhang, Sandra Zilles, Robert C. Holte. 205-216 [doi]
- Knowledge-Base Revision Using Implications as HypothesesÖzgür Lütfü Özçep. 217-228 [doi]
- Improving Confidence of Dual Averaging Stochastic Online Learning via AggregationSangkyun Lee. 229-232 [doi]
- Supporting Fuzzy Metric Temporal Logic Based Situation Recognition by Mean Shift ClusteringDavid Münch, Eckart Michaelsen, Michael Arens. 233-236 [doi]
- Ontology-Based Information Extraction for French Newspaper ArticlesKamel Nebhi. 237-240 [doi]
- Semantic Approach to Identity in Coreference Resolution TaskMaciej Ogrodniczuk, Magdalena Zawislawska. 241-244 [doi]
- Matching Points of Interest from Different Social Networking SitesTatjana Scheffler, Rafael Schirru, Paul Lehmann. 245-248 [doi]
- Semi-analytic Natural Number Series InductionMichael Siebers, Ute Schmid. 249-252 [doi]
- Dependency Parsing with Efficient Feature ExtractionAlexander Volokh, Günter Neumann. 253-256 [doi]
- Strategies for Modelling Human Behaviour for Activity Recognition with Precondition-Effect RulesKristina Yordanova, Frank Krüger, Thomas Kirste. 257-261 [doi]
- Gated Boosting: Efficient Classifier Boosting and CombiningMohammad Reza Yousefi, Thomas M. Breuel. 262-265 [doi]