Algorithms, Concurrency and Knowledge [electronic resource] : 1995 Asian Computing Science Conference, ACSC '95 Pathumthani, Thailand, December 11–13, 1995 Proceedings /

Algorithms, Concurrency and Knowledge [electronic resource] : 1995 Asian Computing Science Conference, ACSC '95 Pathumthani, Thailand, December 11–13, 1995 Proceedings /

Show other versions (1)

This volume constitutes the refereed proceedings of the 1995 Asian Computing Science Conference, ACSC 95, held in Pathumthani, Thailand in December 1995. The 29 fully revised papers presented were selected from a total of 102 submissions; clearly the majority of the participating researchers come from South-East Asian countries, but there is also a strong international component. The volume reflects research activities, particularly by Asian computer science researchers, in different areas. Special attention is paid to algorithms, knowledge representation, programming and specification languages, verification, concurrency, networking and distributed systems, and databases.

Saved in:
Bibliographic Details
Main Authors: Kanchanasut, Kanchana. editor., Lévy, Jean-Jacques. editor., SpringerLink (Online service)
Format: Texto biblioteca
Language:eng
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995
Subjects:Computer science., Software engineering., Computers., Algorithms., Artificial intelligence., Computer Science., Theory of Computation., Software Engineering/Programming and Operating Systems., Artificial Intelligence (incl. Robotics)., Algorithm Analysis and Problem Complexity.,
Online Access:http://dx.doi.org/10.1007/3-540-60688-2
Tags: Add Tag
No Tags, Be the first to tag this record!
id KOHA-OAI-TEST:198987
record_format koha
spelling KOHA-OAI-TEST:1989872018-07-30T23:25:26ZAlgorithms, Concurrency and Knowledge [electronic resource] : 1995 Asian Computing Science Conference, ACSC '95 Pathumthani, Thailand, December 11–13, 1995 Proceedings / Kanchanasut, Kanchana. editor. Lévy, Jean-Jacques. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1995.engThis volume constitutes the refereed proceedings of the 1995 Asian Computing Science Conference, ACSC 95, held in Pathumthani, Thailand in December 1995. The 29 fully revised papers presented were selected from a total of 102 submissions; clearly the majority of the participating researchers come from South-East Asian countries, but there is also a strong international component. The volume reflects research activities, particularly by Asian computer science researchers, in different areas. Special attention is paid to algorithms, knowledge representation, programming and specification languages, verification, concurrency, networking and distributed systems, and databases.Leapfrogging samplesort -- Spanning 2-trees -- Minimal linear invariants -- Parallel maximal matching on minimal vertex series parallel digraphs -- Efficient equality-testing and updating of sets -- Binary space partitions for sets of hyperrectangles -- Transformation of orthogonal term rewriting systems -- An automaton-driven frame disposal algorithm and its proof of correctness -- Labeled ?-calculus and a generalised notion of strictness -- Preemption primitives in reactive languages -- Multi-action process algebra -- Complexity as a basis for comparing semantic models of concurrency -- Combinatory formulations of concurrent languages -- Constraints for free in concurrent computation -- Formalizing inductive proofs of message recovery in distributed systems -- Detecting distributed termination in the presence of node failure -- An extended gradient model for NUMA multiprocessor systems -- Efficient parallel permutation-based range-join algorithms on mesh-connected computers -- Pipelined band join in shared-nothing systems -- Inductive logic programming based on genetic algorithm -- The equivalence of the subsumption theorem and the refutation-completeness for unconstrained resolution -- Probabilistic logic programming and Bayesian networks -- Deriving and applying logic program transformers -- Performance of a data-parallel concurrent constraint programming system -- Formalizing inductive proofs of network algorithms -- TROM — An object model for reactive system development -- Duration calculus specification of scheduling for tasks with shared resources -- Trace specifications of non-deterministic multi-object modules -- ESP-MC: An experiment in the use of verification tools.This volume constitutes the refereed proceedings of the 1995 Asian Computing Science Conference, ACSC 95, held in Pathumthani, Thailand in December 1995. The 29 fully revised papers presented were selected from a total of 102 submissions; clearly the majority of the participating researchers come from South-East Asian countries, but there is also a strong international component. The volume reflects research activities, particularly by Asian computer science researchers, in different areas. Special attention is paid to algorithms, knowledge representation, programming and specification languages, verification, concurrency, networking and distributed systems, and databases.Computer science.Software engineering.Computers.Algorithms.Artificial intelligence.Computer Science.Theory of Computation.Software Engineering/Programming and Operating Systems.Artificial Intelligence (incl. Robotics).Algorithm Analysis and Problem Complexity.Springer eBookshttp://dx.doi.org/10.1007/3-540-60688-2URN:ISBN:9783540492627
institution COLPOS
collection Koha
country México
countrycode MX
component Bibliográfico
access En linea
En linea
databasecode cat-colpos
tag biblioteca
region America del Norte
libraryname Departamento de documentación y biblioteca de COLPOS
language eng
topic Computer science.
Software engineering.
Computers.
Algorithms.
Artificial intelligence.
Computer Science.
Theory of Computation.
Software Engineering/Programming and Operating Systems.
Artificial Intelligence (incl. Robotics).
Algorithm Analysis and Problem Complexity.
Computer science.
Software engineering.
Computers.
Algorithms.
Artificial intelligence.
Computer Science.
Theory of Computation.
Software Engineering/Programming and Operating Systems.
Artificial Intelligence (incl. Robotics).
Algorithm Analysis and Problem Complexity.
spellingShingle Computer science.
Software engineering.
Computers.
Algorithms.
Artificial intelligence.
Computer Science.
Theory of Computation.
Software Engineering/Programming and Operating Systems.
Artificial Intelligence (incl. Robotics).
Algorithm Analysis and Problem Complexity.
Computer science.
Software engineering.
Computers.
Algorithms.
Artificial intelligence.
Computer Science.
Theory of Computation.
Software Engineering/Programming and Operating Systems.
Artificial Intelligence (incl. Robotics).
Algorithm Analysis and Problem Complexity.
Kanchanasut, Kanchana. editor.
Lévy, Jean-Jacques. editor.
SpringerLink (Online service)
Algorithms, Concurrency and Knowledge [electronic resource] : 1995 Asian Computing Science Conference, ACSC '95 Pathumthani, Thailand, December 11–13, 1995 Proceedings /
description This volume constitutes the refereed proceedings of the 1995 Asian Computing Science Conference, ACSC 95, held in Pathumthani, Thailand in December 1995. The 29 fully revised papers presented were selected from a total of 102 submissions; clearly the majority of the participating researchers come from South-East Asian countries, but there is also a strong international component. The volume reflects research activities, particularly by Asian computer science researchers, in different areas. Special attention is paid to algorithms, knowledge representation, programming and specification languages, verification, concurrency, networking and distributed systems, and databases.
format Texto
topic_facet Computer science.
Software engineering.
Computers.
Algorithms.
Artificial intelligence.
Computer Science.
Theory of Computation.
Software Engineering/Programming and Operating Systems.
Artificial Intelligence (incl. Robotics).
Algorithm Analysis and Problem Complexity.
author Kanchanasut, Kanchana. editor.
Lévy, Jean-Jacques. editor.
SpringerLink (Online service)
author_facet Kanchanasut, Kanchana. editor.
Lévy, Jean-Jacques. editor.
SpringerLink (Online service)
author_sort Kanchanasut, Kanchana. editor.
title Algorithms, Concurrency and Knowledge [electronic resource] : 1995 Asian Computing Science Conference, ACSC '95 Pathumthani, Thailand, December 11–13, 1995 Proceedings /
title_short Algorithms, Concurrency and Knowledge [electronic resource] : 1995 Asian Computing Science Conference, ACSC '95 Pathumthani, Thailand, December 11–13, 1995 Proceedings /
title_full Algorithms, Concurrency and Knowledge [electronic resource] : 1995 Asian Computing Science Conference, ACSC '95 Pathumthani, Thailand, December 11–13, 1995 Proceedings /
title_fullStr Algorithms, Concurrency and Knowledge [electronic resource] : 1995 Asian Computing Science Conference, ACSC '95 Pathumthani, Thailand, December 11–13, 1995 Proceedings /
title_full_unstemmed Algorithms, Concurrency and Knowledge [electronic resource] : 1995 Asian Computing Science Conference, ACSC '95 Pathumthani, Thailand, December 11–13, 1995 Proceedings /
title_sort algorithms, concurrency and knowledge [electronic resource] : 1995 asian computing science conference, acsc '95 pathumthani, thailand, december 11–13, 1995 proceedings /
publisher Berlin, Heidelberg : Springer Berlin Heidelberg,
publishDate 1995
url http://dx.doi.org/10.1007/3-540-60688-2
work_keys_str_mv AT kanchanasutkanchanaeditor algorithmsconcurrencyandknowledgeelectronicresource1995asiancomputingscienceconferenceacsc95pathumthanithailanddecember11131995proceedings
AT levyjeanjacqueseditor algorithmsconcurrencyandknowledgeelectronicresource1995asiancomputingscienceconferenceacsc95pathumthanithailanddecember11131995proceedings
AT springerlinkonlineservice algorithmsconcurrencyandknowledgeelectronicresource1995asiancomputingscienceconferenceacsc95pathumthanithailanddecember11131995proceedings
_version_ 1756267229211525120

Similar Items