the proceedings contain 22 papers. the special focus in this conference is on System Design, Testing Related theory, Parallel Systems and Vision. the topics include: Conformance testing techniques for timed systems;co...
ISBN:
(纸本)354000145X
the proceedings contain 22 papers. the special focus in this conference is on System Design, Testing Related theory, Parallel Systems and Vision. the topics include: Conformance testing techniques for timed systems;counter-constrained finite state machines;a new model for component protocols with resource-dependencies;equivalence-checking with infinite-state systems;database support for multisource multiresolution scientific data;semantic annotation and indexing of news and sports videos;interactive indexing and retrieval of multimedia content;a model-based approach to semantic-based retrieval of visual information;bipolarity in possibilistic logic and fuzzy rules;data management challenges for grid computing;Hungarian speech synthesis using a phase exact HNM approach;modelling resource transitions in constraint-based scheduling;a specification framework for real- time scheduling;validation and decomposition of partially occluded images;solving conflicts of agent knowledge states in multiagent systems;specification and verification of secure business transaction systems;agent- oriented model of simulated evolution;the reconstruction of some 3d convex polyominoes from orthogonal projections and the complexity of probabilistic versus quantum finite automata.
the proceedings contain 22 papers. the topics discussed include: equivalence-checking with infinite-state systems: techniques and results;database support for multisource multiresolution scientific data;semantic annot...
ISBN:
(纸本)354000145X
the proceedings contain 22 papers. the topics discussed include: equivalence-checking with infinite-state systems: techniques and results;database support for multisource multiresolution scientific data;semantic annotation and indexing of news and sports videos;multimedia presentations databases;interactive indexing and retrieval of multimedia content;a model-based approach to semantic-based retrieval of visual information;Hungarian speech synthesis using a phase exact HNM approach;modelling resource transitions in constraint-based scheduling;a specification framework for real-time scheduling;string transformation for N-dimensional image compression;validation and decomposition of partially occluded images;solving conflicts of agent knowledge states in multiagent systems;specification and verification of secure business transaction systems;and the reconstruction of some 3D convex polyominoes from orthogonal projections.
Sofsem'99 : theory and practice of informatics : 26thconference on currenttrends in theory and practice of informatics, Milovy, Czech Republic, November 27-December 4, 1999 : Proceedings by Sofsem (1999 : Milovy...
详细信息
Sofsem'99 : theory and practice of informatics : 26thconference on currenttrends in theory and practice of informatics, Milovy, Czech Republic, November 27-December 4, 1999 : Proceedings by Sofsem (1999 : Milovy, Czech Republic); Pavelka, Jan, 1948-; Tel, Gerard; Bartošek, Miroslav; published by Berlin ; New York : Springer
the proceedings contain 30 papers. the special focus in this conference is on currenttrends in theory and practice of informatics. the topics include: the potential of grid, virtual laboratories and virtual organizat...
ISBN:
(纸本)9783540429128
the proceedings contain 30 papers. the special focus in this conference is on currenttrends in theory and practice of informatics. the topics include: the potential of grid, virtual laboratories and virtual organizations for bio-sciences;agreement problems in fault-tolerant distributed systems;from feature maps to semantic landscapes;inference in rule-based systems by interpolation and extrapolation revisited;recent advances in wavelength routing;from metacomputing to grid computing: evolution or revolution;knowledge-based control systems;evolving interactive systems;distributed computations by autonomous mobile robots;formal verification methods for industrial hardware design;how can computer science contribute to knowledge discovery;on the approximability of interactive knapsack problems;model checking communication protocols;pipelined decomposable BSP computers;quantum versus probabilistic one-way finite automata with counter;how to employ reverse search in distributed single source shortest paths;multi-agent systems as concurrent constraint processes;an order preserving scalable distributed data structure with constant access costs;approximative learning of regular languages;quantum finite state transducers;the reconstruction of polyominoes from approximately orthogonal projections;fast independent component analysis in kernel feature spaces;on majority voting games in trees;time and space complexity of reversible pebbling;two-way restarting automata and J-monotonicity;P-hardness of equivalence testing on finite-state processes and physical and economic aspects.
the proceedings contain 35 papers. the special focus in this conference is on trends in Algorithmics and Information Technologies in practice. the topics include: A software engineering discipline in need of research;...
ISBN:
(纸本)3540413480
the proceedings contain 35 papers. the special focus in this conference is on trends in Algorithmics and Information Technologies in practice. the topics include: A software engineering discipline in need of research;exhaustive search, combinatorial optimization and enumeration;the incompressibility method;algorithms for rational agents;simplified witness tree arguments;physical design of CMOS chips in six easy steps;analysis patterns;information society technologies in healthcare;towards high speed grammar induction on large text corpora;information access based on associative calculation;exploiting ecological niche and morphology;hierarchies of sensing and control in visually guided agents;recognizing objects by their appearance using eigenimages;applications in image processing;an automatic composition algorithm for functional logic programs;on the approximation ratio of the group-merge algorithm for the shortest common superstring problem;fast evolutionary chains;a temporal layered knowledge architecture for an evolving structured environment;on-line maximum-order induced hereditary subgraph problems;quantum pushdown automata;use of dependency microcontexts in information retrieval;some notes on the information flow in read-once branching programs;on vision-based orientation method of a robot head in a dark cylindrical pipe;autonomous components;parallel object server for fine grained objects;massively parallel pattern recognition with link failures;finitary observations in regular algebras and using consensus methods for solving conflicts of data in distributed systems.
the proceedings contain 37 papers. the special focus in this conference is on trends in theory and Core Technologies. the topics include: Quantum challenges;stability of approximation algorithms for hard optimization ...
ISBN:
(纸本)354066694X
the proceedings contain 37 papers. the special focus in this conference is on trends in theory and Core Technologies. the topics include: Quantum challenges;stability of approximation algorithms for hard optimization problems;algorithms on compressed strings and arrays;WWW based collaboration withthe BSCW system;middleware and quality of service;dynamic reconfiguration of CORBA-based applications;fast, error correcting parser combinators;java based business components, and new tools to develop applications;databases and the world wide web;exploiting formality in software engineering;biomolecular computing and programming;software change and evolution;distributed simulation with cellular automata;supporting group-by and pipelining in bitmap-enabled query processors;on interactive computation;coherent concepts, robust learning;application of artificial neural networks for different engineering problems;a new structure for pattern matching;principles of forecasting;quantum finite multitape automata;decomposable bulk synchronous parallel computers;component change and version identification in SOFA;pattern equations and equations with stuttering;garbage collection for mobile and replicated objects;randomized gossiping by packets in faulty networks;simulation problems for one-counter machines;on semantics of petri nets over partial algebra;towards possibilistic decision functions with minimum-based sugeno integrals;quantum finite one-counter automata;a performance comparison of mobile agents and RPC;cyclic cutwidth of the mesh;some afterthoughts on hopfield networks;a persistent-set approach to abstract state-space construction in verification;computational power of neuroidal nets and cellular automata with dynamically reconfigurable buses.
the proceedings contain 37 papers. the special focus in this conference is on theory and practice of informatics. the topics include: Software architecture for distributed reactive systems;a logical basis for modular ...
ISBN:
(纸本)3540652604
the proceedings contain 37 papers. the special focus in this conference is on theory and practice of informatics. the topics include: Software architecture for distributed reactive systems;a logical basis for modular software and systems engineering;from quartets to phylogenetic trees;reuse methods for construction of parallel software;compiling horn-clause rules in IBM’s business system 12, an early experiment in declarativeness;models of computation, riemann hypothesis, and classical mathematics;security of electronic money;algorithms based on randomization and linear and semidefinite programming;distributed systems technology for electronic commerce applications;parallel interactive media server systems;online routing problems for broadband networks;some prospects for efficient fixed parameter algorithms;system infrastructure for digital libraries;an introduction to cryptology;authoring structured multimedia documents;engineering software and software engineering;efficient communication schemes;audit of information systems;towards the use of dynamic documents in business processes;computational power of BSP computers;modeling of hypermedia applications;on the klee’s measure problem in small dimensions;yet another modular technique for efficient leader election;regulated grammars with leftmost derivation;some results on the modelling of spatial data;randomized meldable priority queues;the reconstruction of convex polyominoes from horizontal and vertical projections and behavioral safety in a model with multiple class objects.
the H-Induced Minor Containment problem (H-IMC) consists in deciding if a fixed graph H is an induced minor of a graph G given as input, that is, whether H can be obtained from G by deleting vertices and contracting e...
详细信息
An acyclic deterministic finite automaton (ADFA) is a data structure that represents a set of strings (i.e., a dictionary) and facilitates a pattern-searching problem of determining whether a given pattern string is p...
详细信息
暂无评论