Searching for "The Transregional Collaborative Research Center." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

80 documents found, showing 1 through 10. Next 10 →

S.: Structural salience as a landmark
by Kai-florian Richter, Stefan Hansen — 2005 — In: Workshop Mobile Maps 2005
…'s Cooperative Research Centres Programme and the Transregional Collaborative Research Center SFB/TR 8 Spatial…
Cited by 2 (2 self) – Add To MetaCart

Introduction Structural Salience as a Landmark
by Kai-florian Richter, Stefan Hansen
…, Australia aklippel@(email omitted); 2 Transregional Collaborative Research Center Spatial Cognition…
Add To MetaCart

Sketching mental images and reasoning with sketches: NEVILLE – a computational model of mental & external spatial problem solving
by Sven Bertel, Thomas Barkowsky, Peter König, Holger Schultheis, Christian Freksa — 2006 — In D. Fum, F. del Missier, & A. Stocco (Eds.), Proceedings of the 7th International Conference on Cognitive Modeling, Trieste (ICCM 2006
… Collaborative Research Center SFB/TR 8 Spatial Cognition. SFB/TR 8 Spatial Cognition University of Bremen…
Cited by 1 (1 self) – Add To MetaCart

Extracting Places from Location Data Streams
by Falko Schmid, Kai-florian Richter — 2006 — In A. Zipf (Eds.), Workshop Proceedings (UbiGIS
… Transregional Collaborative Research Center SFB/TR 8 Spatial Cognition Universität Bremen {schmid, richter…
Cited by 4 (2 self) – Add To MetaCart

Logical verification and systematic parametric analysis in train control
by André Platzer, Jan-David Quesel — 2008 — HSCC. VOLUME 4981 OF LNCS
… supported by the German Research Council (DFG) of the Transregional Collaborative Research Center (SFB/TR 14…
Cited by 5 (5 self) – Add To MetaCart

Faster than UPPAAL? (Tool Paper)
by Sebastian Kupferschmid, Martin Wehrle, Bernhard Nebel, Andreas Podelski, Albert-ludwigs-universität Freiburg
… (DFG) as part of the Transregional Collaborative Research Center “Automatic Verification and Analysis…
Add To MetaCart

Differential logic for reasoning about hybrid systems
by André Platzer — 2006 — In Bemporad et al
… Service (DAAD) and by the German Research Council (DFG) as part of the Transregional Collaborative…
Cited by 3 (3 self) – Add To MetaCart

UPPAAL/DMC – Abstraction-Based Heuristics for Directed Model Checking
by Sebastian Kupferschmid, Jörg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann
… was partly supported by the German Research Council (DFG) as part of the Transregional Collaborative Research…
Cited by 2 (1 self) – Add To MetaCart

A Planning Graph Heuristic for Forward-Chaining Adversarial Planning
by Pascal Bercher, Robert Mattmüller
… by the German Research Council (DFG) as part of the Transregional Collaborative Research Center “Automatic…
Add To MetaCart

Workshop at KI 2006 Bremen
by Stefan Wölfl Till Mossakowski (eds — 2006
… the financial support by the Transregional Collaborative Research Center SFB/TR 8 Spatial Cognition. Special…
Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB