LEADER 01432nam--2200385---450 001 990000891620203316 005 20180312154819.0 010 $a3-540-42556-X 035 $a0089162 035 $aUSA010089162 035 $a(ALEPH)000089162USA01 035 $a0089162 100 $a20020122d2001----km-y0ITAy0103-------ba 101 0 $aENG 102 $aDE 200 1 $aProcess algebra and probabilistic methods$eperformance modelling and verification$ejoint International workshop, PAPM-PROBMIV 2001$eAachen, Germany, September 12-14, 2001$eproceedings$fLuca de Alfaro ... (eds.) 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 2001 215 $aXII, 215 p.$cill.$d20 cm 225 $aLecture notes in computer science$v2165 410 $12001$aLecture notes in computer science$v2165 610 $aTeorie delle macchine congressi 2000 676 $a511.3 21 702 1$ade Alfaro,$bLuca 710 12$aJoint International workshop PAPM-PROBMIV 2001 <2001 ; Aachen, Germany>$0551594 801 0$aITA$bCBS$gISBD 912 $a990000891620203316 951 $a001 LNCS (2165)$b0027201 CBS$c001$d00110931 959 $aBK 969 $aSCI 979 $aALANDI$b90$c20020122$lUSA01$h0945 979 $aDIGIUSEPPE$b90$c20020307$lUSA01$h1356 979 $c20020403$lUSA01$h1733 979 $aPATRY$b90$c20040406$lUSA01$h1701 996 $aProcess algebra and probabilistic methods$9970245 997 $aUNISA LEADER 05799nam 22007695 450 001 9910143628503321 005 20251116234106.0 010 $a3-540-45460-8 024 7 $a10.1007/3-540-45460-8 035 $a(CKB)1000000000211265 035 $a(SSID)ssj0000326779 035 $a(PQKBManifestationID)11225666 035 $a(PQKBTitleCode)TC0000326779 035 $a(PQKBWorkID)10297353 035 $a(PQKB)11251148 035 $a(DE-He213)978-3-540-45460-1 035 $a(MiAaPQ)EBC3072468 035 $a(PPN)15519593X 035 $a(BIP)13638530 035 $a(BIP)6578109 035 $a(EXLCZ)991000000000211265 100 $a20121227d2000 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aSpatial Cognition II $eIntegrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications /$fedited by Christian Freksa, Wilfried Brauer, Christopher Habel, Karl F. Wender 205 $a1st ed. 2000. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2000. 215 $a1 online resource (XII, 424 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v1849 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-67584-1 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aMaps and Diagrams -- Cognitive Zoom: From Object to Path and Back Again -- Monitoring Change: Characteristics of Dynamic Geo-spatial Phenomena for Visual Exploration -- The Use of Maps, Images and ?Gestures? for Navigation -- Schematizing Maps: Simplification of Geographic Shape by Discrete Curve Evolution -- Schematic Maps as Wayfinding Aids -- Some Ways that Maps and Diagrams Communicate -- Spatial Communication with Maps: Defining the Correctness of Maps Using a Multi-Agent Simulation -- Schematic Maps for Robot Navigation -- Motion and Spatial Reference -- From Motion Observation to Qualitative Motion Representation -- Lexical Specifications of Paths -- Visual Processing and Representation of Spatio-temporal Patterns -- Orienting and Reorienting in Egocentric Mental Models -- Investigating Spatial Reference Systems through Distortions in Visual Memory -- Spatial Relations and Spatial Inference -- Towards Cognitive Adequacy of Topological Spatial Relations -- Interactive Layout Generation with a Diagrammatic Constraint Language -- Inference and Visualization of Spatial Relations -- A Topological Calculus for Cartographic Entities -- The Influence of Linear Shapes on Solving Interval-Based Configuration Problems -- Navigation in Real and Virtual Spaces -- Transfer of Spatial Knowledge from Virtual to Real Environments -- Coarse Qualitative Descriptions in Robot Navigation -- Oblique Angled Intersections and Barriers: Navigating through a Virtual Maze -- Modelling Navigational Knowledge by Route Graphs -- Using Realistic Virtual Environments in the Study of Spatial Encoding -- Navigating Overlapping Virtual Worlds: Arriving in One Place and Finding that You?re Somewhere Else -- Spatial Memory -- Influences of Context on Memory for Routes -- Preparing a Cup of Tea and Writing a Letter: Do Script-Based Actions Influence the Representation of a Real Environment? -- Action Related Determinants of Spatial Coding in Perception and Memory -- Investigation of Age and Sex Effects in Spatial Cognitions as Assessed in a Locomotor Maze and in a 2-D Computer Maze. 330 $aThis book constitutes the second volume documenting the results achieved within a priority program on spatial cognition by the German Science Foundation (DFG).The 28 revised full papers presented were carefully reviewed and reflect the increased interdisciplinary cooperation in the area. The book is divided into sections on maps and diagrams, motion and spatial reference, spatial relations and spatial inference, navigation in real and virtual spaces, and spatial memory. 410 0$aLecture Notes in Artificial Intelligence ;$v1849 606 $aArtificial intelligence 606 $aGeographic information systems 606 $aEarth sciences 606 $aComputer graphics 606 $aNatural language processing (Computer science) 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aGeographical Information Systems/Cartography$3https://scigraph.springernature.com/ontologies/product-market-codes/J13000 606 $aEarth Sciences, general$3https://scigraph.springernature.com/ontologies/product-market-codes/G00002 606 $aComputer Graphics$3https://scigraph.springernature.com/ontologies/product-market-codes/I22013 606 $aNatural Language Processing (NLP)$3https://scigraph.springernature.com/ontologies/product-market-codes/I21040 615 0$aArtificial intelligence. 615 0$aGeographic information systems. 615 0$aEarth sciences. 615 0$aComputer graphics. 615 0$aNatural language processing (Computer science) 615 14$aArtificial Intelligence. 615 24$aGeographical Information Systems/Cartography. 615 24$aEarth Sciences, general. 615 24$aComputer Graphics. 615 24$aNatural Language Processing (NLP). 676 $a006.3/32 702 $aFreksa$b Christian$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBrauer$b Wilfried$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHabel$b Christopher$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWender$b Karl F$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a9910143628503321 996 $aSpatial cognition II$9878002 997 $aUNINA