the proceedings contain 35 papers. the special focus in this conference is on Implementation and Application of Automata. the topics include: Synthesizing state-based object systems from LSC specifications;application...
ISBN:
(纸本)3540424911
the proceedings contain 35 papers. the special focus in this conference is on Implementation and Application of Automata. the topics include: Synthesizing state-based object systems from LSC specifications;applications of finite-state transducers in natural language processing;fast implementations of automata computations;regularly extended two-way nondeterministic tree automata;new finite automaton constructions based on canonical derivatives;computing raster images from grid picture grammars;a basis for looping extensions to discriminating-reverse parsing;reachability and safety in queue systems;generalizing the discrete timed automaton;factorization of ambiguous finite-state transducers;direct construction of minimal acyclic subsequential transducers;unary language concatenation and its state complexity;a package for the implementation of block codes as finite automata;the parameterized complexity of intersection and composition operations on sets of finite-state automata;visual exploration of generation algorithms for finite automata on the web;extended sequentialization of transducers;part-of-speech tagging with two sequential transducers and solving complex problems efficiently with adaptive automata.
the proceedings contain 32 papers. the special focus in this conference is on APPROX and RANDOM. the topics include: Using complex semidefinite programming for approximating MAX E2-LIN3;hill-climbing vs. simulated ann...
ISBN:
(纸本)3540424709
the proceedings contain 32 papers. the special focus in this conference is on APPROX and RANDOM. the topics include: Using complex semidefinite programming for approximating MAX E2-LIN3;hill-climbing vs. simulated annealing for planted bisection problems;web search via hub synthesis;error-correcting codes and pseudorandom projections;order in pseudorandomness;minimizing stall time in single and parallel disk systems using multicommodity network flows;on the equivalence between the primal-dual schema and the local-ratio technique;online weighted flow time and deadline scheduling;an online algorithm for the postman problem with a small penalty;a simple dual ascent algorithm for the multilevel facility location problem;approximation schemes for ordered vector packing problems;incremental codes;a 3/2-approximation algorithm for augmenting the edge-connectivity of a graph from 1 to 2 using a subset of a given edge set;approximation algorithms for budget-constrained auctions;minimizing average completion of dedicated tasks and interval graphs;a greedy facility location algorithm analyzed using dual fitting;0.863-approximation algorithm for MAX DICUT;the maximum acyclic subgraph problem and degree-3 graphs;some approximation results for the maximum agreement forest problem;near-optimum universal graphs for graphs with bounded degrees;on a generalized ruin problem;on the b-partite random asymmetric traveling salesman problem and its assignment relaxation;exact sampling in machine scheduling problems;on computing ad-hoc selective families and l infinity embeddings.
the proceedings contain 20 papers. the special focus in this conference is on Artificial Intelligence and Symbolic Computation. the topics include: Artificial intelligence as a decision tool for efficient strategic an...
ISBN:
(纸本)9783540449904
the proceedings contain 20 papers. the special focus in this conference is on Artificial Intelligence and Symbolic Computation. the topics include: Artificial intelligence as a decision tool for efficient strategic and operational management;towards an internet standard for the administration, distribution, and teaching of mathematical knowledge;on communicating proofs in interactive mathematical documents;composite distributive lattices as annotation domains for mediators;a proof strategy based on a dual representation;formalizing rewriting in the acl2 theorem prover;additional comments on conjectures, hypotheses, and consequences in orthocomplemented lattices;reasoning about the elementary functions of complex analysis;solving nonlinear systems by constraint inversion and interval arithmetic;basic operators for solving constraints via collaboration of solvers;numerical implicitization of parametric hypersurfaces with linear algebra;a note on modeling connectionist network structures;a new artificial intelligence paradigm for computer-aided geometric design;how symbolic computation can benefit computer-aided geometric design;a rewriting based tool to design FPLA circuits;locally effective objects and artificial intelligence;negotiation algorithms for multi-agent interactions and some techniques of isomorph-free search.
the proceedings contain 46 papers. the special focus in this conference is on Speaker Information. the topics include: Challenges in modeling and computing;data grids for next generation problems in science and engine...
ISBN:
(纸本)354041729X
the proceedings contain 46 papers. the special focus in this conference is on Speaker Information. the topics include: Challenges in modeling and computing;data grids for next generation problems in science and engineering;the evolution of openMP;ocean and climate prediction on parallel super computers;linear algebra with recursive algorithms;solving CFD problems with open source parallel libraries;high-performance library software for QR factorization;parallel triangular sylvester-type matrix equation solvers for SMP systems using recursive blocking;on the efficiency of scheduling algorithms for parallel gaussian elimination with communication delays;high performance cholesky factorization via blocking and recursion that uses minimal storage;parallel two-stage reduction of a regular matrix pair to hessenberg-triangular form;a fast minimal storage symmetric indefinite solver;a scalable parallel assembly for irregular meshes based on a block distribution for a parallel block direct solver;a general purpose distributed memory sparse solver;runtime adaptation of an iterative linear system solution to distributed environments;a local refinement algorithm for data partitioning;feedback guided scheduling of nested loops;a comparison of partitioning schemes for blockwise parallel SAMR algorithms;parallelizing an adaptive dynamical grid generator in a climatological trace gas transport application;optimal parameter values for a parallel structured adaptive mesh refinement algorithm;partition of unstructured finite element meshes by a multilevel approach;an internet based search for k-optimal lattice rules and parallel and distributed document overlap detection on the web.
the paradigm of advisable planning, in which a user provides guidance to influence the content of solutions produced by an underlying planning system, holds much promise for improved usability of planning technology. ...
详细信息
the proceedings contain 13 papers. the special focus in this conference is on Large-Scale Parallel Data Mining. the topics include: Parallel and distributed data mining;the integrated delivery of large-scale data mini...
ISBN:
(纸本)3540671943
the proceedings contain 13 papers. the special focus in this conference is on Large-Scale Parallel Data Mining. the topics include: Parallel and distributed data mining;the integrated delivery of large-scale data mining;a high performance implementation of the data space transfer protocol (DSTP);active mining in a distributed setting;efficient parallel algorithms for mining associations;parallel branch-and-bound graph search for correlated association rules;parallel generalized association rule mining on large scale pc cluster;parallel sequence mining on shared-memory machines;parallel predictor generation;efficient parallel classification using dimensional aggregates;learning rules from distributed data;collective, hierarchical clustering from distributed, heterogeneous data and a data-clustering algorithm on distributed memory multiprocessors.
the proceedings contain 24 papers. the special focus in this conference is on Grammatical Inference, algorithms and Applications. the topics include: Inference of finite-state transducers by using regular grammars and...
ISBN:
(纸本)9783540452577
the proceedings contain 24 papers. the special focus in this conference is on Grammatical Inference, algorithms and Applications. the topics include: Inference of finite-state transducers by using regular grammars and morphisms;computational complexity of problems on probabilistic grammars and transducers;learning regular languages using non deterministic finite automata;inferring subclasses of contextual languages;permutations and control sets for learning non-regular language families;on the complexity of consistent identification of some classes of structure languages;computation of substring probabilities in stochastic grammars;a comparative study of two algorithms for automata identification;identification in the limit with probability one of stochastic deterministic finite automata;iterated transductions and efficient learning from positive data;synthesizing context free grammars from sample strings based on inductive CYK algorithm;combination of estimation algorithms and grammatical inference techniques to learn stochastic context-free grammars;on the relationship between models for learning in helpful environments;learning context-free grammars from partially structured examples;identification of tree translation rules from examples;counting extensional differences in BC-learning;constructive learning of context-free languages with a subpansive tree;a polynomial time learning algorithm of simple deterministic languages via membership queries and a representative sample and improve the learning of subsequential transducers by using alignments and dictionaries.
the proceedings contain 33 papers. the special focus in this conference is on Strategic Views on Future Network Architecture, Preparing for the Information Society with Performing Networks and European Perspective of ...
ISBN:
(纸本)9783540411406
the proceedings contain 33 papers. the special focus in this conference is on Strategic Views on Future Network Architecture, Preparing for the Information Society with Performing Networks and European Perspective of Next Generation Networks. the topics include: SIP for call control in the 3G IP-based UMTS core network;the balance between idealism and current products realism;IP-based convergence of fixed and cellular networks and services in the light of liberalization;development of internet services based on pure JAVA technology;implementing the integrated services QoS model with IPv6 over ATM networks;transmission of DVB service information via internet;evaluation of a new resource reservation scheme for mpeg transmission in highly available real-time channels;performance evaluation of diffserv driven HFC system;performance evaluation of RMTP using NS and RMTP integration in current networks;active virtual private network services on demand;convergence of IP based and optical transport networks;dynamic adaptation of differentiated services boundaries;an integrated and federative approach to QoS management in IP networks;TCP conformance for network-based control;congestion control mechanism for traffic engineering within MPLS networks;software switch extensions for portable deployment of traffic control algorithms;a Linux implementation of a differentiated services router;design of a multi-layer bandwidth broker architecture;seamless and uninterrupted interworking of wireless and wireline network technologies;modelling and performance evaluation of a national scale switchless based network and applicability of ABR service to internet applications.
the proceedings contain 31 papers. the special focus in this conference is on Real-Time, Compositionality and Abstraction. the topics include: Modeling for mere mortals;scheduling system verification;a period assignme...
ISBN:
(纸本)3540657037
the proceedings contain 31 papers. the special focus in this conference is on Real-Time, Compositionality and Abstraction. the topics include: Modeling for mere mortals;scheduling system verification;a period assignment algorithm for real-time system design;analyzing stochastic fixed-priority real-time systems;timed diagnostics for reachability properties;fighting livelock in the i-protocol;proving the soundness of a java bytecode verifier specification in isabelle/HOL;automated fast-track reconfiguration of group communication systems;specifications and proofs for ensemble layers;an automated analysis of ping-pong interactions in e-mail services;automatic verification of cryptographic protocols through compositional analysis techniques;verification of hierarchical state/event systems using reusability and compositionality;on proving safety properties by integrating static analysis, theorem proving and abstraction;symbolic model checking without BDDs;symbolic verification of lossy channel systems;model checking in CLP;using logic programs with stable model semantics to solve deadlock and reachability problems for 1-safe petri nets finite state verification for the asynchronous pi-calculus;process algebra in PVS;on the benefits of using the up to techniques for bisimulation verification;computing strong/weak bisimulation equivalences and observation congruence for value-passing processes;hardware testing using a communication protocol conformance testing tool;a light-weight framework for hardware verification;an easily extensible toolset for tabular mathematical expressions;from DFA-frameworks to DFA-generators;a theorem prover-based analysis tool for object-oriented databases and an environment for embedded system design and analysis.
暂无评论