]> BibSonomy publications for/author/Hertzberg New York, NY, USAPPoPP '06: Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming187--197McRT-STM: A High Performance Software Transactional Memory System for a Multi-Core Runtime2006Me:Important MultiCore PhD Proposal TransactionalMemory 2008-08-12 20:05:04.0Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed this concurrency using locks (mutex based synchronization). Unfortunately, lock based synchronization often leads to deadlocks, makes fine-grained synchronization difficult, hinders composition of atomic primitives, and provides no support for error recovery. Transactions avoid many of these problems, and therefore, promise to ease concurrent programming.We describe a software transactional memory (STM) system that is part of McRT, an experimental Multi-Core RunTime. The McRT-STM implementation uses a number of novel algorithms, and supports advanced features such as nested transactions with partial aborts, conditional signaling within a transaction, and object based conflict detection for C/C++ applications. The McRT-STM exports interfaces that can be used from C/C++ programs directly or as a target for compilers translating higher level linguistic constructs.We present a detailed performance analysis of various STM design tradeoffs such as pessimistic versus optimistic concurrency, undo logging versus write buffering, and cache line based versus object based conflict detection. We also show a MCAS implementation that works on arbitrary values, coexists with the STM, and can be used as a more efficient form of transactional memory. To provide a baseline we compare the performance of the STM with that of fine-grained and coarse-grained locking using a number of concurrent data structures on a 16-processor SMP system. We also show our STM performance on a non-synthetic workload -- the Linux sendmail application. Amsterdam, The NederlandsProc. of ECAI-94 workshop on Spatial and Temporal Reasoning49--55Towards Implementing Fuzzy {Allen} Relations1994reasoning temporal 2008-07-28 12:02:00.0 Berlin, HeidelbergLecture Notes in Computer Science{KI 2007:} Advances in Artificial Intelligence : 30th Annual German Conference on AI, {KI 2007}, Osnabrück, Germany, September 10--13, 2007, Proceedings46672007ai book conference springer v0805 2008-07-07 13:47:29.0This book constitutes the thoroughly refereed proceedings of the 30th Annual German Conference on Artificial Intelligence, KI 2007, held in Osnabrück, Germany, September 2007. The 26 revised full papers presented together with six invited contributions and 21 posters were carefully reviewed and selected from 81 submissions. The papers are organized in topical sections on cognition and emotion, semantic Web, analogy, natural language, reasoning, ontologies, spatio-temporal reasoning, machine learning, spatial reasoning, robot learning, classical AI problems, and agents. Berlin, Heidelberg{KI 2007:} Advances in Artificial Intelligence506-509Lecture Notes in Computer ScienceSemantic Graph Visualisation for Mobile Semantic Web Interfaces46672007ai design dfki graphics information ontology paper semantic smartweb springer v0805 2008-07-07 13:47:29.0Information visualisation benefits from the Semantic Web: multimodal mobile interfaces to the Semantic Web offer access to complex knowledge and information structures. Natural language dialogue systems are ideal interfaces to personal digital assistants (PDAs) or other handheld clients. We explore more fine-grained co-ordination of multimodal presentations as answers to natural language questions about a specific domain by graph-based visualisation and navigation in ontological RDF result structures. Semantic Navigation on mobile devices leverages graphical user interface activity for dialogical interaction in mobile environments. Constraint-based programming helps to find optimised multimedia graph visualisations. Berlin, Heidelberg{KI 2007:} Advances in Artificial Intelligence279-292Lecture Notes in Computer ScienceNatural Language Descriptions of Human Behavior from Video Sequences46672007action ai analysis generation image language paper recognition springer v0805 video 2008-07-07 13:47:29.0This contribution addresses the generation of textual descriptions in several natural languages for evaluation of human behavior in video sequences. The problem is tackled by converting geometrical information extracted from videos of the scenario into predicates in fuzzy logic formalism, which facilitates the internal representations of the conceptual data and allows the temporal analysis of situations in a deterministic fashion, by means of Situation Graph Trees (SGTs). The results of the analysis are stored in structures proposed by the Discourse Representation Theory (DRT), which facilitate a subsequent generation of natural language text. This set of tools has been proved to be perfectly suitable for the specified purpose. Berlin, Heidelberg{KI 2007:} Advances in Artificial Intelligence448-451Lecture Notes in Computer ScienceText Generation in the {SmartWeb} Multimodal Dialogue System46672007ai dfki generation language paper smartweb springer v0805 2008-07-07 13:47:29.0This paper presents the text generation module of SmartWeb, a multimodal dialogue system. The generation module bases on NipsGen which combines SPIN, originally a parser developed for spoken language, and a tree-adjoining grammar framework for German. NipsGen allows to mix full generation with canned text. Berlin, Heidelberg{KI 2007:} Advances in Artificial Intelligence19-42Lecture Notes in Computer ScienceCognitive Technical Systems --- What Is the Role of Artificial Intelligence?46672007action ai analysis data embedded factory image paper pattern plan recognition robot sensor springer traffic v0805 video 2008-07-07 13:47:29.0The newly established cluster of excellence CoTeSys investigates the realization of cognitive capabilities such as perception, learning, reasoning, planning, and execution for technical systems including humanoid robots, flexible manufacturing systems, and autonomous vehicles. In this paper we describe cognitive technical systems using a sensor-equipped kitchen with a robotic assistant as an example. We will particularly consider the role of Artificial Intelligence in the research enterprise. Key research foci of Artificial Intelligence research in CoTeSys include (a) symbolic representations grounded in perception and action, (b) first-order probabilistic representations of actions, objects, and situations, (c) reasoning about objects and situations in the context of everyday manipulation tasks, and (d) the representation and revision of robot plans for everyday activity. Robot Navigationconf/dagstuhl/2006P6421Dagstuhl Seminar Proceedings6D SLAM with Cached kd-tree Search.064212006dblp 2008-05-15 00:00:00.0 Robotics and Autonomous Systems2130-142Globally consistent 3D mapping with scan matching.562008dblp 2008-02-13 00:00:00.0 Bioinformatics141737-1743STOP: searching for transcription factor motifs using gene expression.232007dblp 2008-01-11 00:00:00.0