Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986 [[electronic resource] ] : Part 2: Petri Nets: Applications and Relationships to Other Models of Concurrency / / edited by Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg
| Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986 [[electronic resource] ] : Part 2: Petri Nets: Applications and Relationships to Other Models of Concurrency / / edited by Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg |
| Edizione | [1st ed. 1987.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1987 |
| Descrizione fisica | 1 online resource (X, 519 p.) |
| Disciplina | 004.6 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer communication systems
Computer Communication Networks |
| ISBN | 3-540-47926-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | to Part II -- Computer tools for construction, modification and analysis of Petri nets -- Petri net tool overview 1986 -- Petri nets in software engineering -- Nets in data bases -- Petri net based models in the specification and verification of protocols -- Human-machine interaction and role/function/action-nets -- Nets in production systems -- Nets in computer organization -- Nets in office automation -- Modelling architectural features with petrinets -- Trace theory -- Event structures -- CCS — and its relationship to net theory -- COSY: Its relation to nets and to CSP -- TCSP: Theory of communicating sequential processes -- Reduction, data flow and control flow models of computation -- “Forgotten topics” of net theory. |
| Record Nr. | UNISA-996465691003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automata, Languages and Programming [[electronic resource] ] : 12th Colloquium, Nafplion, Greece, July 15-19, 1985. Proceedings / / edited by Wilfried Brauer
| Automata, Languages and Programming [[electronic resource] ] : 12th Colloquium, Nafplion, Greece, July 15-19, 1985. Proceedings / / edited by Wilfried Brauer |
| Edizione | [1st ed. 1985.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1985 |
| Descrizione fisica | 1 online resource (XII, 524 p.) |
| Disciplina | 005.11 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Computers Mathematical logic Algorithms Programming Techniques Computation by Abstract Devices Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity |
| ISBN | 3-540-39557-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Vertex packing algorithms -- Linear and branching structures in the semantics and logics of reactive systems -- About rational sets of factors of a bi-infinite word -- A fair protocol for signing contracts -- The influence of key length on the area-time complexity of sorting -- Repeated synchronous snapshots and their implementation in CSP -- On total regulators generated by derivation relations -- Optimal solutions for a class of point retrieval problems -- Fractional cascading: A data structuring technique with geometric applications -- Hierarchies of one-way multihead automata languages -- Partitioning point sets in 4 dimensions -- A completeness theorem for recursively defined types -- Categorical combinatory logic -- Towards a uniform topological treatment of streams and functions on streams -- Infinite streams and finite observations in the semantics of uniform concurrency -- Imposed-functional dependencies inducing horizontal decompositions -- Characterization of high level tree transducers -- Ambiguity and transcendence -- A fast algorithm for polygon containment by translation -- Deterministic and Las Vegas primality testing algorithms -- Efficient algorithms for graphic matroid intersection and parity -- Operational semantics for order-sorted algebra -- A universal domain technique for profinite posets -- A simple proof of the Skolem-Mahler-Lech theorem -- On complete problems for NP?CoNP -- An algebraic theory of fair asynchronous communicating processes -- Hoare's logic for nondeterministic regular programs: A nonstandard completeness theorem -- Powerdomains as algebraic lattices preliminary report -- Random generation of combinatiorial structures from a uniform distribution -- Do rational equivalence relations have regular cross-sections? -- On probabilistic time and space -- The nearest neighbor problem on bounded domains -- Routing through a generalized switchbox -- On k-repetition free words generated by length uniform morphisms over a binary alphabet -- Every commutative quasirational language is regular -- A probabilistic distributed algorithm for set intersection and its analysis -- Distributed algorithms in synchronous broadcasting networks -- A context dependent equivalence between processes -- Lower bounds by kolmogorov-complexity -- A bidirectional shortest-path algorithm with good average-case behavior (preliminary version) -- Applications of an infinite squarefree CO-CFL -- Special relations in automated deduction -- Dynamic interpolation search -- Polynomial levelability and maximal complexity cores -- Finite group topology and p-adic topology for free monoids -- On the use of relational expressions in the design of efficient algorithms -- The complementation problem for Büchi automata with applications to temporal logic -- A complete compositional modal proof system for a subset of CCS -- On matrix multiplication using array processors -- Optimal parallel pattern matching in strings -- Compositionality and concurrent networks: Soundness and completeness of a proofsystem. |
| Record Nr. | UNISA-996466107903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal and Natural Computing [[electronic resource] ] : Essays Dedicated to Grzegorz Rozenberg / / edited by Wilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, Arto K. Salomaa
| Formal and Natural Computing [[electronic resource] ] : Essays Dedicated to Grzegorz Rozenberg / / edited by Wilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, Arto K. Salomaa |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XXXVI, 436 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Architecture, Computer Computers Algorithms Computer logic Data structures (Computer science) Programming Techniques Computer System Implementation Computation by Abstract Devices Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Data Structures |
| ISBN | 3-540-45711-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Words, Languages, Automata -- Balanced Grammars and Their Languages -- Safety and Liveness Properties for Real Traces and a Direct Translation from LTL to Monoids -- The Delta Operation: From Strings to Trees to Strings -- Infinite Solutions of Marked Post Correspondence Problem -- The Branching Point Approach to Conway’s Problem -- A Survey of Some Quantitative Approaches to the Notion of Information -- Nondeterministic Trajectories -- Binary Patterns in Infinite Binary Words -- Graph Transformations -- A Sight-seeing Tour of the Computational Landscape of Graph Transformation -- Local Action Systems and DPO Graph Transformation -- Bisimulation Equivalences for Graph Grammars -- Petri Nets -- High-Level Net Processes -- Petri Net Control for Grammar Systems -- Regular Event Structures and Finite Petri Nets: A Conjecture -- Concurrent Computing -- Towards Team-Automata-Driven Object-Oriented Collaborative Work -- Grammars as Processes -- Temporal Concurrent Constraint Programming: Applications and Behavior -- Molecular Computing -- Rewriting P Systems with Conditional Communication -- An Aqueous Algorithm for Finding the Bijections Contained in a Binary Relation -- Upper Bounds for Restricted Splicing -- Codes, Involutions, and DNA Encodings -- DNA Manipulations in Ciliates -- A Magic Pot : Self-assembly Computation Revisited. |
| Record Nr. | UNISA-996466036103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal and Natural Computing : Essays Dedicated to Grzegorz Rozenberg / / edited by Wilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, Arto K. Salomaa
| Formal and Natural Computing : Essays Dedicated to Grzegorz Rozenberg / / edited by Wilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, Arto K. Salomaa |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XXXVI, 436 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Architecture, Computer Computers Algorithms Computer logic Data structures (Computer science) Programming Techniques Computer System Implementation Computation by Abstract Devices Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Data Structures |
| ISBN | 3-540-45711-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Words, Languages, Automata -- Balanced Grammars and Their Languages -- Safety and Liveness Properties for Real Traces and a Direct Translation from LTL to Monoids -- The Delta Operation: From Strings to Trees to Strings -- Infinite Solutions of Marked Post Correspondence Problem -- The Branching Point Approach to Conway’s Problem -- A Survey of Some Quantitative Approaches to the Notion of Information -- Nondeterministic Trajectories -- Binary Patterns in Infinite Binary Words -- Graph Transformations -- A Sight-seeing Tour of the Computational Landscape of Graph Transformation -- Local Action Systems and DPO Graph Transformation -- Bisimulation Equivalences for Graph Grammars -- Petri Nets -- High-Level Net Processes -- Petri Net Control for Grammar Systems -- Regular Event Structures and Finite Petri Nets: A Conjecture -- Concurrent Computing -- Towards Team-Automata-Driven Object-Oriented Collaborative Work -- Grammars as Processes -- Temporal Concurrent Constraint Programming: Applications and Behavior -- Molecular Computing -- Rewriting P Systems with Conditional Communication -- An Aqueous Algorithm for Finding the Bijections Contained in a Binary Relation -- Upper Bounds for Restricted Splicing -- Codes, Involutions, and DNA Encodings -- DNA Manipulations in Ciliates -- A Magic Pot : Self-assembly Computation Revisited. |
| Record Nr. | UNINA-9910145794203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
GI Gesellschaft für Informatik e. V. : 3. Jahrestagung Hamburg, 8.–10. Oktober 1973 / / von Wilfried Brauer
| GI Gesellschaft für Informatik e. V. : 3. Jahrestagung Hamburg, 8.–10. Oktober 1973 / / von Wilfried Brauer |
| Edizione | [1st ed. 1973.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1973 |
| Descrizione fisica | 1 online resource (XI, 509 S.) |
| Disciplina | 004 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Computer Science, general |
| ISBN | 3-662-41148-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNISA-996465664903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
KI-95: Advances in Artificial Intelligence [[electronic resource] ] : 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11 - 13, 1995. Proceedings / / edited by Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer
| KI-95: Advances in Artificial Intelligence [[electronic resource] ] : 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11 - 13, 1995. Proceedings / / edited by Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer |
| Edizione | [1st ed. 1995.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
| Descrizione fisica | 1 online resource (XIII, 275 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-540-44944-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Partially observable Markov decision processes for artificial intelligence -- Robust processing of natural language -- Distinction networks -- The problem of signal and symbol integration: A study of cooperative mobile autonomous agent behaviors -- An extension of explanation-based generalization to negation as failure -- Inducing integrity constraints from knowledge bases -- Dynamic structuring of lexical knowledge in a reusability scenario -- Efficient memory-limited graph search -- Quality-based terminological reasoning for concept learning -- Task acquisition with a description logic reasoner -- Parallelizing description logics -- Automated termination proofs with measure functions -- What is a skeptical proof? -- Default entailment -- Actions that make you change your mind -- Reasoning about action with typical and atypical effects -- Reasoning about action and change: Actions with abnormal effects -- Temporal logic based on characteristic functions -- Computational properties of qualitative spatial reasoning: First results -- An empirically validated model for computing spatial relations -- Integrating vision and language: Towards automatic description of human movements. |
| Record Nr. | UNISA-996466158203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Petri nets, central models and their properties : proceedings of an advanced course, Bad Honnef, 8.-19. September 1986 / / edited by W. Brauer, W. Reisig and G. Rozenberg
| Petri nets, central models and their properties : proceedings of an advanced course, Bad Honnef, 8.-19. September 1986 / / edited by W. Brauer, W. Reisig and G. Rozenberg |
| Edizione | [1st ed. 1987.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer-Verlag, , [1987] |
| Descrizione fisica | 1 online resource (X, 481 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Machine theory
Petri nets |
| ISBN | 3-540-47919-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Contents: Introduction to Part I -- Prologue -- Elementary Net Systems - Fundamentals -- Place/Transition Systems - Fundamentals -- High-Level Nets - Fundamentals -- Special Topics -- Other Petri Net Models -- Addresses of the authors. |
| Record Nr. | UNISA-996466088703316 |
| Berlin, Heidelberg : , : Springer-Verlag, , [1987] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Spatial Cognition II [[electronic resource] ] : Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications / / edited by Christian Freksa, Wilfried Brauer, Christopher Habel, Karl F. Wender
| Spatial Cognition II [[electronic resource] ] : Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications / / edited by Christian Freksa, Wilfried Brauer, Christopher Habel, Karl F. Wender |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XII, 424 p.) |
| Disciplina | 006.3/32 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Geographical information systems Earth sciences Computer graphics Natural language processing (Computer science) Artificial Intelligence Geographical Information Systems/Cartography Earth Sciences, general Computer Graphics Natural Language Processing (NLP) |
| ISBN | 3-540-45460-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Maps 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. |
| Record Nr. | UNISA-996465575403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Spatial Cognition II : Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications / / edited by Christian Freksa, Wilfried Brauer, Christopher Habel, Karl F. Wender
| Spatial Cognition II : Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications / / edited by Christian Freksa, Wilfried Brauer, Christopher Habel, Karl F. Wender |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XII, 424 p.) |
| Disciplina | 006.3/32 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Geographical information systems Earth sciences Computer graphics Natural language processing (Computer science) Artificial Intelligence Geographical Information Systems/Cartography Earth Sciences, general Computer Graphics Natural Language Processing (NLP) |
| ISBN | 3-540-45460-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Maps 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. |
| Record Nr. | UNINA-9910143628503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Spatial Cognition III [[electronic resource] ] : Routes and Navigation, Human Memory and Learning, Spatial Representation and Spatial Learning / / edited by Christian Freksa, Wilfried Brauer, Christopher Habel, Karl F. Wender
| Spatial Cognition III [[electronic resource] ] : Routes and Navigation, Human Memory and Learning, Spatial Representation and Spatial Learning / / edited by Christian Freksa, Wilfried Brauer, Christopher Habel, Karl F. Wender |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (X, 422 p.) |
| Disciplina | 006.3/32 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Earth sciences Data structures (Computer science) Computer simulation Natural language processing (Computer science) Artificial Intelligence Science, Humanities and Social Sciences, multidisciplinary Earth Sciences, general Data Structures Simulation and Modeling Natural Language Processing (NLP) |
| ISBN | 3-540-45004-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Routes and Navigation -- Navigating by Mind and by Body -- Pictorial Representations of Routes: Chunking Route Segments during Comprehension -- Self-localization in Large-Scale Environments for the Bremen Autonomous Wheelchair -- The Role of Geographical Slant in Virtual Environment Navigation -- Granularity Transformations in Wayfinding -- A Geometric Agent Following Route Instructions -- Cognition Meets Le Corbusier — Cognitive Principles of Architectural Design -- Human Memory and Learning -- The Effect of Speed Changes on Route Learning in a Desktop Virtual Environment -- Is It Possible to Learn and Transfer Spatial Information from Virtual to Real Worlds? -- Acquisition of Cognitive Aspect Maps -- How Are the Locations of Objects in the Environment Represented in Memory? -- Priming in Spatial Memory: A Flow Model Approach -- Context Effects in Memory for Routes -- Spatial Representation -- Towards an Architecture for Cognitive Vision Using Qualitative Spatio-temporal Representations and Abduction -- How Similarity Shapes Diagrams -- Spatial Knowledge Representation for Human-Robot Interaction -- How Many Reference Frames? -- Motion Shapes: Empirical Studies and Neural Modeling -- Use of Reference Directions in Spatial Encoding -- Spatial Reasoning -- Reasoning about Cyclic Space: Axiomatic and Computational Aspects -- Reasoning and the Visual-Impedance Hypothesis -- Qualitative Spatial Reasoning about Relative Position -- Interpretation of Intentional Behavior in Spatial Partonomies. |
| Record Nr. | UNISA-996466069303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
