GLORIA

GEOMAR Library Ocean Research Information Access

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Keywords: Data structures (Computer science) ; Computer graphics ; Optical pattern recognition ; Computer science ; Database management ; Artificial intelligence ; Geographic information systems. ; Dynamics. ; Nonlinear theories. ; Pattern recognition systems. ; Computer Science ; Computer Graphics ; Artificial Intelligence (incl. Robotics) ; Systems and Information Theory in Engineering ; Data Structures ; Pattern Recognition ; Database Management ; Konferenzschrift ; Geoinformationssystem
    Description / Table of Contents: Environments for land application development: issues and design guidelines -- Modelling a hierarchy of space applied to large road networks -- Approximations for a multi-step processing of spatial joins -- First experiences with GEOSTORE, an information system for geologically defined geometries -- The DOMUS project — Building an OODB GIS for environmental control -- Virtual geographic information system (VGIS) -- Multiple representation modelling and querying -- Surface modelling with guaranteed consistency — An object-based approach -- Hierarchical hypersurface modeling -- Spatial reallocation of global gridded climate datasets -- Development of specialized geographical information systems for the analysis of large scale radioecological accidents -- On quality paths on polyhedral terrains -- Algorithms for automated extraction of man-made objects from raster image data in a GIS -- A prototype spatial data environment for urban design -- Knowledge-based systems coupled with geographic information systems -- Sustained spatial data management in real-world projects — A research focus -- A storage manager for the development of spatial data structures -- CARTECH: a prototype of geographical information system -- COSIMA A network based architecture for GIS -- The XYZ GeoServer for geometric computation -- Patchwork — A query-driven locally adaptive data space partitioning -- Recognition of urban roads on large-scale maps: the prototypical cases -- Intelligent decision support based on GIS: The EcoRisk Project -- Optimizing spatial data structures for static data -- A hybrid pointerless representation of quadtrees for efficient processing of window queries -- Optimization issues in R-tree construction -- VisTool: A visualization tool for spatial access structures -- Relation-based information processing with symbolic spatial indexes.
    Type of Medium: Online Resource
    Pages: Online-Ressource (VIII, 291 S.)
    Edition: Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
    ISBN: 9783540491057
    Series Statement: Lecture notes in computer science 884
    RVK:
    RVK:
    RVK:
    Language: English
    Note: Literaturangaben
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 2
    Keywords: Information systems ; Management information systems ; Computer science ; Software engineering ; Database management ; Artificial intelligence ; Computer simulation ; Application software. ; Simulation and Modeling ; Computer Science ; Artificial Intelligence (incl. Robotics) ; Business Information Systems ; Software Engineering ; Database Management ; Information Systems Applications (incl.Internet) ; Konferenzschrift 1994 ; Entity-Relationship-Datenmodell
    Description / Table of Contents: Reflections on the relationship between BPR and software process modelling -- Specifying business processes over objects -- Deriving complex structured object types for business process modelling -- Business process modeling in the workflow management environment Leu -- An assisting method for enterprise-wide conceptual data modeling in the bottom-up approach -- Organisational and information system modelling for information systems requirements determination -- What makes a good data model? Evaluating the quality of entity relationship models -- Database evolution: the DB-MAIN approach -- Database schema evolution through the specification and maintenance of changes on entities and relationships -- Method restructuring and consistency checking for object-oriented schemas -- State-conditioned semantics in databases -- Modelling constraints with exceptions in object-oriented databases -- Declarative specification of constraint maintenance -- On the representation of objects with polymorphic shape and behavior -- A normal form object-oriented entity relationship diagram -- COMan — coexistence of object-oriented and relational technology -- Cardinality consistency of derived objects in DOOD systems -- Conceptual modelling and manipulation of temporal databases -- Process repositories: Principles and experiences -- A formal software specification tool using the entity-relationship model -- An overview of the Lawrence Berkeley Laboratory extended entity-relationship database tools -- A generic data model for the support of multiple user interaction facilities -- Using queries to improve database reverse engineering -- Reconstruction of ER schema from database applications: a cognitive approach -- Extracting an entity relationship schema from a relational database through reverse engineering -- Leveled entity relationship model -- Formalised conceptual models as a foundation of information systems development -- Abstraction levels for entity-relationship schemas -- Coordination system modelling -- Virtual structures — A technique for supporting scientific database applications -- Resolving fragmentation conflicts in schema integration -- An executable meta model for re-engineering of database schemas -- From E-R to “A-R” — Modelling strategic actor relationships for business process reengineering -- Standard-driven re-engineering of entity-relationship schemas.
    Type of Medium: Online Resource
    Pages: Online-Ressource (XIII, 579 S.)
    Edition: Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
    ISBN: 9783540491002
    Series Statement: Lecture notes in computer science 881
    RVK:
    RVK:
    RVK:
    RVK:
    Language: English
    Note: Literaturangaben
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 3
    Keywords: Logic, Symbolic and mathematical ; Computer science ; Artificial intelligence ; Machine theory. ; Mathematical logic. ; Mathematical Logic and Formal Languages ; Computer Science ; Mathematical Logic and Foundations ; Artificial Intelligence (incl. Robotics) ; Konferenzschrift ; Logik ; Beweisführung ; HOL
    Description / Table of Contents: LCF examples in HOL -- A graphical tool for proving UNITY progress -- Reasoning about a class of linear systems of equations in HOL -- Towards a HOL theory of memory -- Providing tractable security analyses in HOL -- Highlighting the lambda-free fragment of Automath -- First-order automation for higher-order-logic theorem proving -- Symbolic animation as a proof tool -- Datatypes in L2 -- A formal theory of undirected graphs in higher-order logc -- Mechanical verification of distributed algorithms in higher-order logic -- Tracking design changes with formal verification -- Weak systems of set theory related to HOL -- Interval-semantic component models and the efficient verification of transaction-level circuit behavior -- An interpretation of Noden in HOL -- Reasoning about real circuits -- Binary decision diagrams as a HOL derived rule -- Trustworthy tools for trustworthy programs: A verified verification condition generator -- S: A machine readable specification notation based on higher order logic -- An engineering approach to formal digital system design -- Generating designs using an Algorithmic Register Transfer Language with formal semantics -- A HOL formalisation of the Temporal Logic of Actions -- Studying the ML module system in HOL -- Towards a mechanically supported and compositional calculus to design distributed algorithms -- Simplifying deep embedding: A formalised code generator -- Automating verification by functional abstraction at the system level -- A parameterized proof manager -- Implementational issues for verifying RISC-pipeline conflicts in HOL -- Specifying instruction-set architectures in HOL: A primer -- Representing higher-order logic proofs in HOL.
    Type of Medium: Online Resource
    Pages: Online-Ressource (IX, 470 S.)
    Edition: 2006 Springer lecture notes archive
    ISBN: 9783540488033
    Series Statement: Lecture notes in computer science 859
    RVK:
    Language: English
    Note: Literaturangaben
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 4
    Keywords: Computer science ; Software engineering ; Database management ; Computer programming. ; Compilers (Computer programs). ; Programming Techniques ; Computer Science ; Programming Languages, Compilers, Interpreters ; Software Engineering ; Database Management ; Konferenzschrift 1994 ; Objektorientierung
    Description / Table of Contents: Issues in extending a relational system with object-oriented features -- A SQL-like query calculus for object-oriented database systems -- Schema evolution for object-based accounting database systems -- Designing and implementing inter-client communication in the O 2 object-oriented database management system -- Rigorous object-oriented analysis -- Object oriented methodologies for large scale projects: Does it work? -- Quantitative and qualitative aspects of object-oriented software development -- Towards a general purpose approach to object-oriented analysis -- A seamless model for object-oriented systems development -- Structural and behavioural views on OMT-classes -- Combining two approaches to object-oriented analysis -- A rewriting technique for implementing active object systems -- Beyond coupling modes -- Testing of object-oriented programming systems (OOPS): A fault-based approach -- An ambiguity resolution algorithm -- On providing a high-level C interface for an object-oriented, C++ system -- Integrating objects with constraint-programming languages -- Object-oriented representation of shape information -- The development of an Object-Oriented Multimedia Information System -- An intelligent information system for heterogeneous data exploration -- Effective optimistic concurrency control in multiversion object bases -- Reusing object oriented design: An algebraic approach -- Reuse in object-oriented Information Systems development -- An object-oriented approach to the integration of online services into Office Automation environments -- A linguistic approach to the development of Object Oriented Systems using the NL system LOLITA.
    Type of Medium: Online Resource
    Pages: Online-Ressource (X, 386 S.)
    Edition: Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
    ISBN: 9783540488040
    Series Statement: Lecture notes in computer science 858
    RVK:
    Language: English
    Note: Literaturangaben
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 5
    Keywords: Text processing (Computer science ; Computer science ; Software engineering ; Artificial intelligence ; Computer graphics ; Human-computer interaction. ; User interfaces (Computer systems). ; Natural language processing (Computer science). ; Models and Principles ; Computer Science ; Computer Graphics ; Artificial Intelligence (incl. Robotics) ; Document Preparation and Text Processing ; Software Engineering ; Konferenzschrift ; Behinderter Mensch ; Datenverarbeitung ; Behinderter Mensch ; Computer
    Description / Table of Contents: Communications and information technology for persons with disabilities — The Canadian national strategy as an example -- An intelligent information system for blind people — AI technology and philosophical aspects -- Adapting graphical user interfaces for use by visually handicapped computer users: Current results and continuing research -- Training blind people in the use of graphical user interfaces -- Artificial visual speech synchronized with a speech synthesis system -- Notational representation of sign language: A structural description of hand configuration -- Further advances in real-time voice to text with steno interpreters -- A uniform control interface for various electronic aids -- An integrated system for communication and equipments control using radio link -- Autonomy — A flexible and easy-to-use assistive system to support the independence of handicapped and elderly persons -- Screen Reader/2 — Programmed access to the GUI -- Designing an offscreen model for a GUI -- Screen reader for Windows based on speech output -- The New Wireless LinguControl -- The FeelMouse: Making computer screens feelable -- Unexpected benefits of Voice Type computing -- Robot control methods using the RAID workstation -- The ultrasonic navigating robot, WALKY -- NavChair: An example of a shared-control system for assistive technologies -- Using spatial audio for the enhanced presentation of synthesised speech within screen-readers for blind computer users -- Multimodal concept for a new generation of screen reader -- Auditory extension of user interfaces -- An attempt to define fully-accessible workstation levels of accessibility -- Graz Brain-Computer Interface (BCI) II -- Human-computer interfacing for the severely physically disabled -- Day and assessment training technology centres -- The North America association of rehabilitation programs in computer technology seeks to network with other training programs -- Disability and rehabilitation database in Chinese language -- Toward a single global market for assistive technology -- Using structure within electronic documents to make editors more accessible -- Distinguishing pattern-types in printed documents -- Structuring documents: the key to increasing access to information for the print disabled -- Study Center for Visually Impaired Persons supportive system for blind and partially sighted Students at the University of Karlsruhe/Germany -- Support Centre for Visually impaired Students -- Educational endeavour “Computer Science for the Blind” state of the art and experiences in supporting visually handicapped students -- Modellversuch “Informatik für Blinde” -- Cottage industry at NewLink -- Telework for Handicapped people: an experience -- Ableprofessionals: A recruiting and accommodation service for Atlanta employers -- ”NewsReader“ — a comfortable digital newspaper and bookreading system -- Digital talking books — a report from a practical, ongoing project -- The electronic kiosk accessing newspapers with electronic media -- Students support services at a scientific university -- Assistive technology in us higher education: The University of Wisconsin-Whitewater experience -- Leadership and Technology Management (LTM) the strategic management of technology in a consumer-driven environment -- Multimedia information system on assistive devices -- REHA — A multimedia system to learn about IT-systems for disabled persons -- Introducing voice control — Widening the perspective -- Mathtalk: The design of an interface for reading algebra using speech -- A method of access to computer aided software engineering (CASE) tools for blind software engineers -- Automatic image processing in developmental testing of visual-motor integration -- Computer neuropsychological training in mentally retarded children -- Computer training in cognitive remediation of the traumatic head injured -- Computer utilisation for speaking re-education -- The effectiveness of the Intonation Meter for teaching intonation to deaf persons -- Application of Artificial Intelligence methods in a word-prediction aid -- Speech therapy, new developments and results in LingWare -- Projective display of document information by parametric sound beam -- Synthesizing non-speech sound to support blind and visually impaired computer users -- Stereo sound board for real time auditory coding of visual information -- DHT — Diary handy terminal — for evaluating fluctuations in patients with Parkinson's disease (PD) -- Development of the system to teach the bedsore prevention method for wheelchair users -- Development of the bedsore alarm system using microcomputer for wheelchair users -- A case study of computer analysis of the arthritic user in rehabilitation engineering -- Evaluation of Ergolab -- Dynamic displays: the changing face of augmentative communication -- BLISSVOX — Voice output communication system for teaching, rehabilitation, and communication -- Access to the text component of multimedia conversation services for non-speaking people with severe physical disabilities -- Protocolling the TINATEL-System: A contribution for long term evaluation of an AAC-system for speech impaired persons to access the public telephone network -- The conventional Braille display state of the art and future perspectives -- The concept of a full screen tactile display (FSTD) driven by electrochemical reactions -- Displaying laterally moving tactile information -- A new architecture conception for a two dimensional tactile display -- Tactison: a multimedia learning tool for blind children -- Fortec's efforts to support mainstream education through research and technology development -- Providing assistive technology training to a rural school of education through an in-direct service strategy -- The CORES project -- Real time HCI and limits of human performance -- Computer and Computer Communication Guidance Centre for the Disabled -- Assistive technology in the public schools -- ADAMLAB Educational agency designs Voice Output Communication Aid -- Large print desktop-publishing by PC for the partially sighted -- A new approach in designing low vision aids (LVA) -- Multimedia authoring systems for constructing education packages for Special Needs Education -- Computer-aided Instruction with blind persons on an audio-tactile basis -- Authoring software in special education -- Radio computer communications network for disabled people -- An investigation of Global Positioning System (GPS) technology for disabled people -- Telecommunity telecommunication for persons with mental retardation — A Swedish perspective -- Tactile-audio user interface for blind persons -- Computer-aided access to tactile graphics for the blind -- Braille reader -- Computer camp for the handicapped and their family members -- SMLLSTPS: the software version of the Macquarie Program, a computerized child assessment system -- Development and use of a speech recognition system for physically handicapped users -- Head mounted accelerometers in the control of a video cursor -- Computer assisted training programme for early intervention for children with mental retardation.
    Type of Medium: Online Resource
    Pages: Online-Ressource (XX, 625 S.)
    Edition: Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
    ISBN: 9783540489894
    Series Statement: Lecture notes in computer science 860
    RVK:
    RVK:
    RVK:
    Language: English
    Note: Literaturangaben
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 6
    Keywords: Computer Communication Networks ; Operating systems (Computers) ; Computer software ; Computer science ; Software engineering ; Computer programming. ; Algorithms. ; Computer networks . ; Computer Communication Networks ; Computation by Abstract Devices ; Programming Techniques ; Computer Science ; Algorithm Analysis and Problem Complexity ; Operating Systems ; Special Purpose and Application-Based Systems ; Konferenzschrift 1994 ; Verteilter Algorithmus ; Verteilter Algorithmus
    Description / Table of Contents: Replicated file management in large-scale distributed systems -- Realization of PRAMs: Processor design -- Factoring -- Primary partition “Virtually-synchronous communication” harder than consensus -- Secure distributed computing: Theory and practice -- Fast increment registers -- Coping with contention -- Exotic behaviour of consensus numbers -- Space-optimum conflict-free construction of 1-writer 1-reader multivalued atomic variable -- Linear-time snapshot using multi-writer multi-reader registers -- Fast, long-lived renaming -- Anomalies in the wait-free hierarchy -- Finding the extrema of a distributed multiset -- The level of handshake required for establishing a connection -- Local labeling and resource allocation using preprocessing -- A scalable approach to routing in ATM networks -- Low complexity network synchronization -- An incremental distributed algorithm for computing biconnected components -- Reaching (and maintaining) agreement in the presence of mobile faults -- Uniform deterministic self-stabilizing ring-orientation on odd-length rings -- Using failure detectors to solve consensus in asynchronous shared-memory systems -- An algorithm with optimal failure locality for the dining philosophers problem -- Average and randomized complexity of distributed problems -- Self-stabilization by local checking and global reset -- Breakpoints and time in distributed computations -- Cheaper matrix clocks.
    Type of Medium: Online Resource
    Pages: Online-Ressource (X, 369 S.)
    Edition: Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
    ISBN: 9783540487999
    Series Statement: Lecture notes in computer science 857
    RVK:
    RVK:
    RVK:
    Language: English
    Note: Literaturangaben
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 7
    Keywords: Data structures (Computer science) ; Computer software ; Text processing (Computer science ; Combinatorics ; Computer science ; Computer graphics ; Numerical analysis ; Discrete mathematics. ; Algorithms. ; Software engineering. ; Numerical Analysis ; Computer Science ; Computer Graphics ; Data Structures ; Combinatorics ; Algorithm Analysis and Problem Complexity ; Document Preparation and Text Processing ; Konferenzschrift 1994 ; Algorithmus
    Description / Table of Contents: Optimization algorithms for large networks -- Wanna buy an algorithm? Cheap! or: Algorithms for text searching which could have commercial value -- Planar drawings and angular resolution: Algorithms and bounds -- A better heuristic for orthogonal graph drawings -- Hamiltonian triangulations for fast rendering -- Efficient construction of a bounded degree spanner with low weight -- Approaching the 5/4 — approximation for rectilinear Steiner trees -- Membership in constant time and minimum space -- Faster searching in tries and quadtrees—An analysis of level compression -- The analysis of a hashing scheme by the diagonal poisson transform -- Some lower bounds for comparison-based algorithms -- An efficient algorithm for edge-ranking trees -- Edge-disjoint (s, t)-paths in undirected planar graphs in linear time -- A simple min cut algorithm -- Approximation algorithm on multi-way maxcut partitioning -- A linear-time algorithm for finding a central vertex of a chordal graph -- The time complexity of updating snapshot memories -- Non-exploratory self-stabilization for constant-space symmetry-breaking -- On-line distributed data management -- A unified scheme for detecting fundamental curves in binary edge images -- How to compute the Voronoi diagram of line segments: Theoretical and experimental results -- Range searching and point location among fat objects -- Convex tours of bounded curvature -- Optimal shortest path and minimum-link path queries in the presence of obstacles -- Fast algorithms for collision and proximity problems involving moving geometric objects -- Reverse-Fit: A 2-optimal algorithm for packing rectangles -- An optimal algorithm for preemptive on-line scheduling -- Tight approximations for resource constrained scheduling problems -- An algorithm for 0–1 programming with application to airline crew scheduling -- An o(n) work EREW parallel algorithm for updating MST -- On the structure of DFS-forests on directed graphs and the dynamic maintenance of DFS on DAG's -- Finding and counting given length cycles -- Greedy hot-potato routing on the mesh -- Desnakification of mesh sorting algorithms -- Tight bounds on deterministic PRAM emulations with constant redundancy -- PRAM computations resilient to memory faults -- An area lower bound for a class of fat-trees -- A unified approach to approximation schemes for NP- and PSPACE-hard problems for geometric graphs -- The parallel complexity of eden growth, solid-on-solid growth and ballistic deposition -- A new approach to resultant computations and other algorithms with exact division -- Testing equivalence of morphisms on context-free languages -- Work-time optimal parallel prefix matching -- On the exact complexity of the string prefix-matching problem -- Incremental text editing: a new data structure -- The ESA '93 Proceedings.
    Type of Medium: Online Resource
    Pages: Online-Ressource (X, 507 S.)
    Edition: Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
    ISBN: 9783540487944
    Series Statement: Lecture notes in computer science 855
    RVK:
    RVK:
    RVK:
    Language: English
    Note: Literaturangaben
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 8
    Keywords: Computer science ; Artificial intelligence ; Computer Science ; Artificial Intelligence (incl. Robotics) ; Konferenzschrift 1993 ; Logischer Schluss ; Unsicherheit ; Unvollkommene Information ; Unsicherheit
    Description / Table of Contents: USDUSD\mathcal{R}\mathcal{E}\mathcal{S}USDUSD : A formalism for reasoning with relative-strength defaults -- A semantics for open normal defaults via a modified preferential approach -- Possibilistic logic: From nonmonotonicity to logic programming -- Learning membership functions -- The use of possibilistic logic PL1 in a customizable tool for the generation of production-rule based systems -- Probabilistic network construction using the minimum description length principle -- IDAGs: A perfect map for any distribution -- Learning non probabilistic belief networks -- A practical system for defeasible reasoning and belief revision -- Influence of granularity level in fuzzy functional dependencies -- A logic for reasoning about safety in decision support systems -- Acceptability of arguments as ‘logical uncertainty’ -- A temporal model theory for default logic -- Uncertainty in constraint satisfaction problems: A probabilistic approach -- Interference logic = conditional logic + frame axiom -- A unifying logical framework for reason maintenance -- Taxonomic linear theories -- Making inconsistency respectable: Part 2 — Meta-level handling of inconsistency -- Restricted access logics for inconsistent information -- Translating inaccessible worlds logic into bimodal logic -- A new approach to semantic aspects of possibilistic reasoning -- Probabilistic consistency of knowledge bases in inference systems -- Weighting independent bodies of evidence -- Default logic: Orderings and extensions -- Learning causal polytrees -- Symbolic evidence, arguments, supports and valuation networks -- A dynamic ordering relation for revision -- On extensions of marginals for decision-making -- On the semantics of negations in logic programming -- Structure learning approaches in causal probabilistics networks -- Weak extensions for default theories -- Recovering incidence functions -- On the relations between incidence calculus and ATMS -- A resolution method for a non monotonic multimodal logic -- A default logic based on epistemic states -- A Formal language for convex sets of probabilities -- A lattice-theoretic analysis of ATMS problem solving -- Examples of causal probabilistic expert systems -- A mixed approach of revision in propositional calculus -- Integrating uncertainty handling formalisms in distributed artificial intelligence -- Variations of constrained default logic -- Information sets in decision theory -- The preferential semantics of a multi-modal nonmonotonic logic -- Probability of deductibility and belief functions -- Formal properties of conditional independence in different calculi of AI -- A proof theory for Constructive Default Logic -- Plausible inference for default conditionals -- Decision-making with Belief Functions and pignistic probabilities -- Default logic and Dempster-Shafer theory -- Belief revision by expansion.
    Type of Medium: Online Resource
    Pages: Online-Ressource (X, 390 S.)
    Edition: Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
    ISBN: 9783540481300
    Series Statement: Lecture notes in computer science 747
    RVK:
    RVK:
    RVK:
    RVK:
    RVK:
    Language: English
    Note: Literaturangaben
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 9
    Keywords: Algebra Data processing ; Combinatorics ; Artificial intelligence Congresses ; Logic, Symbolic and mathematical Congresses ; Computer science ; Artificial intelligence ; Numerical analysis ; Discrete mathematics. ; Computer science ; Numerical Analysis ; Symbolic and Algebraic Manipulation ; Computer Science ; Artificial Intelligence (incl. Robotics) ; Combinatorics ; Konferenzschrift ; Künstliche Intelligenz ; Computeralgebra
    Description / Table of Contents: Artificial intelligence and symbolic mathematical computations -- Qualitative modeling of physical systems in AI research -- On the topological structure of configuration spaces -- A symbolic approach to interval constraint problems -- An algebraic approach to knowledge-based modeling -- Intelligent user interfaces for symbolic and numeric computation -- The progress towards an intelligent assistant — A discussion paper -- On mathematical modeling in robotics -- Gröbner bases: Strategies and applications -- Heuristic search strategies for Cylindrical Algebraic Decomposition -- Unified domains and abstract computational structures -- Completion and invariant theory in symbolic computation and artificial intelligence -- A type-coercion problem in computer algebra -- Algorithmic development of power series -- A cooperative approach to query processing: Integrating historical, structural, and behavioral knowledge sources -- A desk-top sequent calculus machine -- Gentzen-style characterizations of Negation as Failure -- A new translation from deduction into integer programming -- Reasoning about time -- Learning qualitative physics reasoning from regime analysis -- Qualitative mathematical modelling of genetic algorithms.
    Type of Medium: Online Resource
    Pages: Online-Ressource (305 S.)
    Edition: Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
    ISBN: 9783540480631
    Series Statement: Lecture notes in computer science 737
    RVK:
    RVK:
    RVK:
    Language: English
    Note: Literaturangaben
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 10
    Keywords: Computer software ; Logic design ; Hybrid computers Congresses ; Computer science ; Software engineering ; Control engineering. ; Microprocessors. ; Computers, Special purpose. ; Computer architecture. ; Computation by Abstract Devices ; Computer Science ; Logics and Meanings of Programs ; Processor Architectures ; Algorithm Analysis and Problem Complexity ; Software Engineering ; Special Purpose and Application-Based Systems ; Konferenzschrift 1992 ; Hybridrechner ; Hybridrechner
    Description / Table of Contents: Verifying hybrid systems -- An extended duration calculus for hybrid real-time systems -- Towards refining temporal specifications into hybrid systems -- Hybrid systems in TLA+ -- Hybrid models with fairness and distributed clocks -- A compositional approach to the design of hybrid systems -- An approach to the description and analysis of hybrid systems -- Integration Graphs: A class of decidable hybrid systems -- Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems -- Hybrid Systems: the SIGNAL approach -- A dynamical simulation facility for hybrid systems -- Event identification and intelligent hybrid control -- Multiple agent hybrid control architecture -- Models for hybrid systems: Automata, topologies, controllability, observability -- Some remarks about flows in hybrid systems -- Hybrid system modeling and autonomous control systems -- Fault accommodation in feedback control systems -- On formal support for industrial-scale requirements analysis -- A formal approach to computer systems requirements documentation.
    Type of Medium: Online Resource
    Pages: Online-Ressource (VIII, 474 S.)
    Edition: Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
    ISBN: 3540573186 , 9783540573180
    Series Statement: Lecture notes in computer science 736
    Language: English
    Note: Literaturangaben
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...