journals/nca/Amin94:::Shara Amin:::A Self-Organised Traveling Salesman.
journals/nca/KumoluyiDKJA95:::Akin Kumoluyi::T. S. Daltaban::Nenad Koncar::Antonia J. Jones::J. S. Archer:::Well Reservoir Model Identification Using Translation and Scale Invariant Higher Order Networks.
journals/nca/PartridgeG95:::Derek Partridge::Niall Griffith:::Strategies for Improving Neural Net Generalisation.
journals/nca/DragoR94:::Gian Paolo Drago::Sandro Ridella:::Convergence Properties of Cascade Correlation in Function Approximation.
journals/nca/KontoravdisLS95:::D. Kontoravdis::Aristidis Likas::Andreas Stafylopatis:::Discrete Optimisation Based on the Combined Use of Reinforcement and Constraint Satisfaction Schemes.
journals/nca/CalebS98:::P. Caleb::Peter K. Sharpe:::Self Organising Maps for the Investigation of Clinical Data: A Case Study.
journals/nca/BahramiT94:::Mohammad Bahrami::Keith E. Tait:::A Neural Network-Based Proportional Integral Derivative Controller.
journals/nca/Wang94:::Shouhong Wang:::A Neural Network Method of Density Estimation for Univariate Unimodal Data.
journals/nca/Jones93a:::Antonia J. Jones:::The Modular Construction of Dynamic Nets.
journals/nca/OwensZI96:::F. J. Owens::F. H. Zheng::D. A. Irvine:::A Multi-Output-Layer Perceptron.
journals/nca/YatesP96:::William B. Yates::Derek Partridge:::Use of Methological Diversity to Improve Neural Network Generalisation.
journals/nca/Osowski96:::Stanislaw Osowski:::Multilayer Volterra Filter and its Applications.
journals/nca/CrespoM96:::José L. Crespo::Eduardo Mora:::A PDP Constructive Algorithm for System Modelling.
journals/nca/GalickiMW97:::Miroslaw Galicki::Ulrich Möller::Hebert Witte:::Neural Clustering Networks based on Global Optimisation of Prototypes in Metric Spaces.
journals/nca/Vaughn96:::Marilyn Lougher Vaughn:::Interpretation and Knowledge Discovery from the Multilayer Perceptron Network: Opening the Black Box.
journals/nca/CressyNS93:::David C. Cressy::Ian T. Nabney::Adrian M. Simper:::Neural Control of a Batch Distillation.
journals/nca/BrancaSAD97:::Antonella Branca::Ettore Stella::Giovanni Attolico::Arcangelo Distante:::Focus on Expansion Estimation by an Error Backpropagation Neural Network.
journals/nca/BishopHSTT94:::Christopher M. Bishop::Paul S. Haynes::Mike E. U. Smith::Tom N. Todd::David L. Trotman:::Fast Feedback Control of a High Temperature Fusion Plasma.
journals/mms/Bulterman93:::Dick C. A. Bulterman:::Specification and Support of Adaptable Networked Multimedia.
journals/mms/FordRTG00:::Ralph Ford::Craig Robson::Daniel Temple::Michael Gerlach:::Metrics for Shot Boundary Detection in Digital Video Sequences.
journals/mms/AloiaMP98:::Nicola Aloia::Maristella Matera::Fabio Paternò:::Presentations for Databases in Multimedia Environments.
journals/mms/EleftheriadisPA94:::Alexandros Eleftheriadis::Sassan Pejhan::Dimitris Anastassiou:::Architecture and Algorithms of the Xphone Multimedia Communications System.
journals/mms/WuY98:::Kun-Lung Wu::Philip S. Yu:::Increasing Multimedia System Throughput with Consumption-based Buffer Management.
journals/mms/KhalfallahK95:::H. Khalfallah::Ahmed Karmouch:::An Architecture and a Data Model for Integrated Multimedia Documents and Presentational Applications.
journals/mms/LeeY99:::KyungOh Lee::Heon Young Yeom:::An Effective Admission Control Mechanism for variable-bit-rate Video Streams.
journals/mms/HuynhK94:::Khoa D. Huynh::Taghi M. Khoshgoftaar:::Performance Analysis of Advanced I/O Architectures for PC-Based Video Servers.
journals/mms/Prabhakaran00:::B. Prabhakaran:::Multimedia authoring and presentation techniques - guest editor's introduction.
journals/mms/Mourad96:::Antoine N. Mourad:::Issues in the Design of a Storage Server for Video-on-Demand.
journals/mms/ShenoyGV02:::Prashant J. Shenoy::Pawan Goyal::Harrick M. Vin:::Architectural considerations for next-generation file systems.
journals/mms/AdaliSS00:::Sibel Adali::Maria Luisa Sapino::V. S. Subrahmanian:::An algebra for creating and querying multimedia presentations.
journals/mms/UrabeAHPZ94:::Toshiyuki Urabe::Hassan Afzal::Grace Ho::Pramod Pancha::Magda El Zarki:::MPEGTool: an X Window-based MPEG Encoder and Statistics Tool.
journals/mms/LittleV95:::Thomas D. C. Little::Dinesh Venkatesh:::Popularity-Based Assignment of Movies to Storage Devices in a Video-on-Demand System.
journals/mms/SmithC99:::John R. Smith::Shih-Fu Chang:::Integrated Spatial and Feature Image Query.
journals/mms/LinSP96:::Mengjou Lin::David Singer::Alagu Periyannan:::Supporting Constant-Bit-Rate-Encoded MPEG-2 Transport Over Local ATM Networks.
journals/mms/KanakiaM96:::Hemant Kanakia::Partho Pratim Mishra:::Packet Video Transport in ATM Networks with Single-Bit Feedback.
journals/mms/GoyalLV97:::Pawan Goyal::Simon S. Lam::Harrick M. Vin:::Determining End-to-End Delay Bounds in Heterogeneous Networks.
journals/mms/FerrariGV97:::Domenico Ferrari::Amit Gupta::Giorgio Ventre:::Distributed Advance Reservation of Real-Time Connections.
journals/mms/LiouHDH99:::Shih-Ping Liou::Rune Hjelsvold::Remi Depommier::Arding Hsu:::Efficient and Reliable Digital Media Archive for Content-based Retrieval.
journals/mms/ReiningerK97:::Daniel Reininger::Wilson Kwok:::Joint Rate Control for VBR MPEG Video on PVC ATM Links.
journals/mms/Little93:::Thomas D. C. Little:::A Framework for Synchronous Delivery of Time-Dependent Multimedia Data.
journals/mms/XieLLS99:::Yong Xie::Changdong Liu::Myung J. Lee::Tarek N. Saadawi:::Adaptive Multimedia Synchronization in a Teleconference System.
journals/mms/ShahabiG95:::Cyrus Shahabi::Shahram Ghandeharizadeh:::Continuous Display of Presentations Sharing Clips.
journals/mms/AgostiMC95:::Maristella Agosti::Massimo Melucci::Fabio Crestani:::Automatic Authoring and Construction of Hypermedia for Information Retrieval.
journals/mms/ParrisZF94:::Colin Parris::Hui Zhang::Domenico Ferrari:::Dynamic Management of Guaranteed-Performance Multimedia Connections.
journals/mms/MurthyL96:::Shree Murthy::Hari Lalgudi:::Impact of QOS Requirements on Video Coding for ATM Networks.
journals/mor/Lawler79:::Eugene L. Lawler:::Fast Approximation Algorithms for Knapsack Problems.
journals/ngc/Hagiya99:::Masami Hagiya:::Perspectives on Molecular Computing.
journals/ngc/OhtaI93:::Yoshihiko Ohta::Katsumi Inoue:::Incorporating Top-Down Information into Bottom-Up Hypothetical Reasoning.
journals/ngc/Shinohara91:::Ayumi Shinohara:::Teachability in Computational Learning.
journals/ngc/Yamamoto99a:::Akihiro Yamamoto:::Revising the Logical Foundations of Inductive Logic Programming Systems with Ground Reduced Program.
journals/ngc/CohenP95:::William W. Cohen::C. David Page Jr.:::Polynomial Learnability and Inductive Logic Programming: Methods and Results.
journals/ngc/Bibel86:::Wolfgang Bibel:::A Deductive Solution for Plan Generation.
journals/ngc/ItoSKKR85:::Noriyoshi Ito::Hajime Shimizu::Masasuke Kishi::Eiji Kuno::Kazuaki Rokusawa:::Data-flow Based Execution Mechanisms of Parallel and Concurrent Prolog.
journals/ngc/Horita96:::Eiichi Horita:::Deriving Failures Models for Nonuniform Concurency from Structured Operational Semantics.
journals/ngc/HarumotoNS00:::Kaname Harumoto::Tadashi Nakano::Shinji Shimojo:::An Architecture for Adaptive Multimedia Content Delivery.
journals/ngc/Ishizuka83:::Mitsuru Ishizuka:::Inference Methods Based on Extended Dempster &amp; Shafer's Theory for Problems with Uncertainty/Fuzziness.
journals/ngc/Noguchi86:::Shoichi Noguchi:::Toward a Highly Intelligent Communication.
journals/ngc/UeharaK83:::Takao Uehara::Nobuaki Kawato:::Logic Circuit Synthesis Using Prolog.
journals/ngc/Wolff95:::J. Gerard Wolff:::Computing As Compression: An Overview of the SP Theory and System.
journals/ngc/Jantke91:::Klaus P. Jantke:::Monotonic and Non-monotonic Inductive Inference.
journals/ngc/BailsfordD85:::David F. Bailsford::R. James Duckworth:::The MUSE Machine - an Architecture for Structured Data Flow Computation.
journals/ngc/AritaK02:::Masanori Arita::S. Kobayashi:::DNA Sequence Design Using Templates.
journals/ngc/Tanaka85:::Yuzuru Tanaka:::A VLSI Algorithm for Sorting Variable-Length Character Strings.
journals/ngc/Tanaka90:::Hidehiko Tanaka:::Permeation of Knowledge Information Processing Systems
journals/ngc/Tanaka91:::H. Tanaka:::Preface: The Dawn of New Information World through Knowledge Processing.
journals/ngc/MamdaniPS99:::E. H. Mamdani::Jeremy Pitt::Kostas Stathis:::Connected Communities from the Standpoint of Multi-agent Systems.
journals/ngc/Mizoguchi83:::Fumio Mizoguchi:::PROLOG Based Expert System.
journals/ngc/Yokomori86:::Takashi Yokomori:::Logic Program Forms.
journals/ngc/CodishS87:::Michael Codish::Ehud Y. Shapiro:::Compiling OR-parallelism into AND-parallelism.
journals/ngc/BratkoD95:::Ivan Bratko::Saso Dzeroski:::Engineering Applications of ILP.
journals/ngc/MiyataH96:::Takashi Miyata::Kôiti Hasida:::Plan Inferences in Dialogue under Dynamical Constraint Programming.
journals/ngc/FutamuraKG01:::Yoshihiko Futamura::Zenjiro Konishi::Robert Glück:::Program Transformation System Based on Generalized Partial Computation.
journals/ngc/Nakata99:::Keiichi Nakata:::Knowledge as a Social Medium.
journals/ngc/ArnoldJ97:::Oksana Arnold::Klaus P. Jantke:::Inductive Program Synthesis for Theory Plan Generation.
journals/ngc/Nakashima91:::H. Nakashima:::New Models for Software Architecture Project.
journals/ngc/CostaWY96:::Vítor Santos Costa::David H. D. Warren::Rong Yang:::Andorra-I Compilation.
journals/ngc/Chikayama83:::Takashi Chikayama:::ESP - Extended Self-contained PROLOG - as a Preliminary Kernel Language of Fifth Generation Computers.
journals/ngc/BastaFG02:::Stefano Basta::Sergio Flesca::Sergio Greco:::Functional Queries in Datalog.
journals/ngc/ToynR86:::Ian Toyn::Colin Runciman:::Adapting Combinator and SEC Machines to Display Snapshots of Functional Computations.
journals/ngc/UenoT01:::A. Ueno::H. Takeda:::Cooperation of Categorical and Behavioral Learning in a Practical Solution to the Abstraction Problem.
journals/ngc/AndreoliPC97:::Jean-Marc Andreoli::Remo Pareschi::Tiziana Castagnetti:::Static Analysis of Linear Logic Programming.
journals/ngc/Oflazer92:::Kemal Oflazer:::Highly Parallel Execution of Product Systems: A Model, Algorithms and Architecture.
journals/ngc/MarriottS93:::Kim Marriott::Harald Søndergaard:::Difference-List Transformation for Prolog.
journals/mta/FordMR98:::James Ford::Fillia Makedon::Samuel A. Rebelsky:::Resource-Limited Hyper-Reproductions: Electronically Reproducing and Extending Lectures.
journals/mta/ChaC98:::Guang-Ho Cha::Chin-Wan Chung:::A New Indexing Scheme for Content-Based Image Retrieval.
journals/mta/ShawLSR96:::Robert Shaw::Phillip A. Laplante::Jose Salinas::Rosemarie Riccone:::A Multimedia Speech Learning System for the Hearing Impaired.
journals/mta/KoprinskaC02:::Irena Koprinska::Sergio Carrato:::Hybrid Rule-Based/Neural Approach for Segmentation of MPEG Compressed Video.
journals/mta/WangYA01:::Jia Wang::Wen-jann Yang::Raj Acharya:::Color Space Quantization for Color-Content-Based Query Systems.
journals/mta/Cooper99:::David W. Cooper:::Document Scripting with Open Standards: Transport of Application Behavior for Interactive Technical Documents.
journals/mta/HakkoymazO97:::Veli Hakkoymaz::Gultekin Özsoyoglu:::A Constraint-Driven Approach to Automate the Organization and Playout of Presentations in Multimedia Databases.
journals/mta/CakmakovD95:::Dusan Cakmakov::Danco Davcev:::Information Retrieval and Filtering of Multimedia Mineral Data.
journals/mta/ChuaCW02:::Tat-Seng Chua::Liping Chen::Jihua Wang:::Stratification Approach to Modeling Video.
journals/mta/RindosWCHV96:::Andrew Rindos::Steven P. Woolet::David Cosby::Leonard Hango::Mladen A. Vouk:::Factors Influencing ATM Adapter Throughput.
journals/mta/AkhavanFK01:::K. Akhavan::S. Farahvash::Mohsen Kavehrad:::An Efficient ATM Cell Transmission Scheme Over Mobile Cellular Networks.
journals/mta/YauB02:::David K. Y. Yau::Bharat K. Bhargava:::Heterogeneous CPU Services Using Differentiated Admission Control.
journals/mta/FaichneyG01:::Jolon Faichney::Ruben Gonzalez:::Video Coding for Mobile Handheld Conferencing.
journals/mta/HirataMLH00:::Kyoji Hirata::Sougata Mukherjea::Wen-Syan Li::Yoshinori Hara:::Integration of Image Matching and Classification for Multimedia Navigation.
journals/mta/SanchezBV02:::Juan María Sánchez::Xavier Binefa::Jordi Vitrià:::Shot Partitioning Based Recognition of TV Commercials.
journals/mta/GhoseK00:::Debasish Ghose::Hyoung Joong Kim:::Scheduling Video Streams in Video-on-Demand Systems: A Survey.
journals/mta/PengLV02:::Chengyuan Peng::Artur Lugmayr::Petri Vuorimaa:::A Digital Television Navigator.
journals/mta/LyardetRS99:::Fernando Lyardet::Gustavo Rossi::Daniel Schwabe:::Discovering and Using Design Patterns in the WWW.
journals/mta/NackP97:::Frank Nack::Alan Parkes:::The Application of Video Semantics and Theme Representation in Automated Video Editing.
journals/mta/ShahabiA00:::Cyrus Shahabi::Mohammad Alshayeji:::Super-Streaming: A New Object Delivery Paradigm for Continuous Media Servers.
journals/mta/AmatoMS98:::Giuseppe Amato::Gianni Mainetto::Pasquale Savino:::An Approach to a Content-Based Retrieval of Multimedia Data.
journals/mta/McNabSWH00:::Rodger J. McNab::Lloyd A. Smith::Ian H. Witten::Clare L. Henderson:::Tune Retrieval in the Multimedia Library.
journals/mta/MakedonR98:::Fillia Makedon::Samuel A. Rebelsky:::Guest Editorial.
journals/mta/TsaiL98:::Wen-Jiin Tsai::Suh-Yin Lee:::Dynamic Buffer Management for Near Video-On-Demand Systems.
journals/mta/Furht99:::Borko Furht:::Editorial.
journals/mta/TungK00:::Lun Hsing Tung::Irwin King:::A Two-Stage Framework for Polygon Retrieval.
journals/mta/RemiasSZS97:::Edward Remias::Gholamhosein Sheikholeslami::Aidong Zhang::Tanveer Fathima Syeda-Mahmood:::Supporting Content-Based Retrieval in Large Image Database Systems.
journals/mta/OrjiABN98:::Cyril U. Orji::Donald A. Adjeroh::Patrick O. Bobbie::Kingsley C. Nwosu:::Design and Configuration Rationales for Digital Video Storage and Delivery Systems.
journals/mta/ChouGLC02:::Cheng-Fu Chou::Leana Golubchik::John C. S. Lui::I-Hsin Chung:::Design of Scalable Continuous Media Servers.
journals/mst/Fu93:::Bin Fu:::On Lower Bounds of the Closeness Between Complexity Classes.
journals/mst/Lo75:::James Ting-Ho Lo:::Representation of Continuous Curves on the 3-Dimensional Rotation Group.
journals/mst/Tu69:::C. C. Tu:::Non-Tangential Limits of a Solution of a Bondary-Value Problem for the Heat Equation.
journals/mst/Cobham69:::Alan Cobham:::On the Base-Dependence of Sets of Numbers Recognizable by Finite Automata.
journals/mst/Book72:::Ronald V. Book:::Multi-Stack-Counter Languages.
journals/mst/Muldowney74:::James S. Muldowney:::Discontinuous Scalar Functions and Ordinary Differential Equations.
journals/mst/Baker79:::Theodore P. Baker:::On "Provable" Analogs of P and MP.
journals/mst/Amari87:::Shun-ichi Amari:::Differential Geometry of a Parametric Family of Invertible Linear Systems - Riemannian Metric, Dual Affine Connections, and Divergence.
journals/mst/Pierce70:::R. S. Pierce:::Classification Problems.
journals/mst/Parikh83:::Rohit Parikh:::Some Applications of Topology to Program Semantics.
journals/mst/Pager71:::David Pager:::On Two-Way, Two-Tape Automata.
journals/mst/ChM97:::Eric Goles Ch.::Martín Matamala:::Reaction-Diffusion Automata: Three States Implies Universality.
journals/mst/Dai89:::Liyi Dai:::Strong Decoupling in Singular Systems.
journals/mst/FuC02:::Jung-Sheng Fu::Gen-Huey Chen:::Hamiltonicity of the Hierarchical Cubic Network.
journals/mst/Porter78:::William A. Porter:::Approximation by Bernstein Systems.
journals/mst/Rothenberg78b:::David Rothenberg:::A Model for Pattern Perception with Musical Applications Part III: The Graph Embedding of Pitch Structures.
journals/mst/HoltR72:::Richard C. Holt::Edward M. Reingold:::On the Time Required to Detect Cycles and Connectivity in Graphs.
journals/mst/BarbosaBF01:::Valmir C. Barbosa::Mario R. F. Benevides::Felipe M. G. França:::Sharing Resources at Nonuniform Access Rates.
journals/mst/Hunt80:::L. R. Hunt:::Global Controllability of Nonlinear Systems in Two Dimensions.
journals/mst/Ura75:::Taro Ura:::Local Determinacy of Abstract Local Dynamical Systems.
journals/mst/GallaireH69:::Hervé Gallaire::Michael A. Harrison:::Decomposition of Linear Sequential Machines.
journals/mst/Yeh70:::Raymond T. Yeh:::Structural Equivalence of Automata.
journals/mst/GreenbergHR90:::David S. Greenberg::Lenwood S. Heath::Arnold L. Rosenberg:::Optimal Embeddings of Butterfly-Like Graphs in the Hypercube.
journals/mst/Benson82:::David B. Benson:::In Scott-Strachey Style Denotational Semantics, Parallelism Implies Nondeterminism.
journals/mst/LaiF02:::An-Chow Lai::Babak Falsafi:::Optimizing Traffic in DSM Clusters: Fine-Grain Memory Caching versus Page Migration/Replication.
journals/mst/MooreA70:::John B. Moore::Brian D. O. Anderson:::Spectral Factorization of Time-varying Covariance Functions: The Singular Case.
journals/mst/Hazewinkel77:::Michiel Hazewinkel:::Moduli and Canonical Forms for Linear Dynamical Systems II: The Topological Case.
journals/mst/MacKenzie97:::Philip D. MacKenzie:::Lower Bounds for Randomized Exclusive Write PRAMs.
journals/mst/Radhakrishnan96:::Jaikumar Radhakrishnan:::Pi-Sigma-Pi Threshold Formulas.
journals/mst/Scarpellini79:::Bruno Scarpellini:::Predicting the Future of Functions on Flows.
journals/mst/Angluin80:::Dana Angluin:::On Relativizing Auxiliary Pushdown Machines.
journals/mst/Parr76:::F. N. Parr:::A Class of Infinite Dimensional Linear Systems.
journals/mst/Paul75:::Michael E. Paul:::Minimal Symbolic Flows Having Minimal Block Growth.
journals/mst/AgrawalB96:::Manindra Agrawal::Somenath Biswas:::NP-Creative Sets: A New Class of Creative Sets in NP.
journals/mst/McNaughton74:::Robert McNaughton:::Algebraic Decision Procedures for Local Testability.
journals/mst/SeiferasG77:::Joel I. Seiferas::Zvi Galil:::Real-Time Recognition of Substring Repetition and Reversal.
journals/mst/McKenzieMT71:::Ralph McKenzie::Jan Mycielski::David Thompson:::On Boolean Functions and Connected Sets.
journals/mst/VermaR89:::Madanpal S. Verma::James C. Romig:::Reduced-Order Controllers in H^\infty-Optimal Synthesis Methods of the First Kind.
journals/mst/Winograd77:::Shmuel Winograd:::Some Bilinear Forms Whose Multiplicative Complexity Depends on the Field of Constants.
journals/mst/HemaspaandraHH98:::Edith Hemaspaandra::Lane A. Hemaspaandra::Harald Hempel:::R<sup> <i>S N</i> </sup> <sub>1-tt</sub> (NP) Distinguishes Robust Many-One and Turing Completeness.
journals/mst/Ryan72:::J. Patrick Ryan:::The Shift and Commutativity.
journals/mst/KrickHRVW02:::Christof Krick::Friedhelm Meyer auf der Heide::Harald Räcke::Berthold Vöcking::Matthias Westermann:::Data Management in Networks: Experimental Evaluation of a Provably Good Strategy.
journals/mst/Nelson80:::Evelyn Nelson:::Categorical and Topological Aspects of Formal Languages.
journals/mst/JiangL96:::Tao Jiang::Ming Li:::DNA Sequencing and String Learning.
journals/mst/SarkarM02:::Palash Sarkar::Subhamoy Maitra:::Cross-Correlation Analysis of Cryptographically Useful Boolean Functions and S-Boxes.
journals/mst/Artstein73:::Zvi Artstein:::Trajectories and the Attainable Set of an Abstract Linear Control System.
journals/mst/GurariI82:::Eitan M. Gurari::Oscar H. Ibarra:::(Semi)Alternating Stack Automata.
journals/mst/Hedlund69:::G. A. Hedlund:::Endomorphisms and Automorphisms of the Shift Dynamical Systems.
journals/mst/Witsenhausen73:::H. S. Witsenhausen:::A Standard Form for Sequential Stochastic Control.
journals/mst/ErdosKMSZ88:::Paul Erdös::Israel Koren::Shlomo Moran::Gabriel M. Silberman::Shmuel Zaks:::Minimum-Diameter Cyclic Arrangements in Mapping Data-Flow Graphs onto VLSI Arrays.
journals/mst/HalpernLMW86:::Joseph Y. Halpern::Michael C. Loui::Albert R. Meyer::Daniel Weise:::On Time versus Space III.
journals/mst/Watanabe91:::Osamu Watanabe:::On Intractability of the Class UP.
journals/mst/DolezalS85:::Vaclav Dolezal::Shiva Shankar:::A Local Implicit Function Theorem and Applications to Systems of Differential Equations.
journals/mst/Delchamps85:::David F. Delchamps:::Global Structure of Families of Multivariable Linear Systems with an Application to Identification.
journals/mst/Pop-Stojanovic71:::Zoran R. Pop-Stojanovic:::Decomposition of Banach-Valued Quasimartingales.
journals/mst/Tomescu72:::Ioan Tomescu:::A Method for Minimizing the Number of States for a Restricted Class of Incompletely Specified Sequential Machines.
journals/mst/BergCDKT98:::Mark de Berg::Otfried Cheong::Olivier Devillers::Marc J. van Kreveld::Monique Teillaud:::Computing the Maximum Overlap of Two Convex Polygons under Translations.
journals/mst/Bournez99:::Olivier Bournez:::Some Bounds on the Computational Power of Piecewise Constant Derivative Systems.
journals/mst/BeigelCO93:::Richard Beigel::Richard Chang::Mitsunori Ogiwara:::A Relationship Between Difference Hierarchies and Relativized Polynomial Hierarchies.
journals/mst/Zeiger68:::Paul Zeiger:::Correction: Yet Another Proof of the Cascade Decomposition Theorem for Finite Automata.
journals/mst/Aggarwal77:::Sudhir Aggarwal:::Deterministic Representation of Probabilistic Systems by Ergodic Machines.
journals/mst/CourcelleE95:::Bruno Courcelle::Joost Engelfriet:::A Logical Characterization of the Sets of Hypergraphs Defined by Hyperedge Replacement Grammars.
journals/mst/HeathV98:::Lenwood S. Heath::John Paul C. Vergara:::Edge-Packing in Planar Graphs.
journals/mst/Sears73:::Michael Sears:::Topological Models for Generators.
journals/mst/Sears74:::Michael Sears:::Expansiveness on Locally Compact Spaces.
journals/mst/Yorke70:::James A. Yorke:::A Theorem on Liapunov Functions Using V.
journals/mst/Yamakami92:::Tomoyuki Yamakami:::Structural Properties for Feasibly Computable Classes of Type Two.
journals/mst/Lillo75:::J. C. Lillo:::Almost Periodic Perturbations of nth-Order Differential-Difference Equations.
journals/mst/SheuL96:::Ming-Jye Sheu::Timothy J. Long:::UP and the Low and High Hierarchies: A Relativized Separatin.
journals/mst/Hegner89:::Stephen J. Hegner:::Algebraic Representation of Dynamics and Behavior for Continuous-Time Linear Systems.
journals/mst/Marek71:::Ivo Marek:::Approximations of the Principal Eigenelements in K-Positive Non-Selfadjoint Eigenvalue Problems.
journals/mst/LecomteR01:::Pierre B. A. Lecomte::Michel Rigo:::Numeration Systems on a Regular Language.
journals/mst/PietracaprinaP97:::Andrea Pietracaprina::Franco P. Preparata:::Practical Constructive Schemes for Deterministic Shared-Memory Access.
journals/mst/LakshmikanthamL76:::V. Lakshmikantham::S. Leela:::On Perturbing Lyapunov Functions.
journals/mst/Ibarra71:::Oscar H. Ibarra:::Characterizations of Transductions Defined by Abstract Families of Transducers.
journals/mst/KalouptsidisE82:::Nicholas Kalouptsidis::David L. Elliott:::Stability Analysis of the Orbits of Control Systems.
journals/mst/VarshavskyMP70:::V. I. Varshavsky::V. B. Marakhovsky::V. A. Peschansky:::Synchronization of Interacting Automata.
journals/mst/Euler85:::Leonhard Euler:::An Essay on Continued Fractions.
journals/mst/Birget93:::Jean-Camille Birget:::State-Complexity of Finite-State Devices, State Compressibility and Incompressibility.
journals/mst/Kosaraju75:::S. Rao Kosaraju:::Context-free Preserving Functions.
journals/mst/Courcelle77:::Bruno Courcelle:::On Jump-Deterministic Pushdown Automata.
journals/mst/Courcelle89:::Bruno Courcelle:::The Monadic Second-Order Logic of Graphs, II: Infinite Graphs of Bounded Width.
journals/mst/Giveon67:::Yehoshafat Give'on:::Categories of Semimodules: The Categorical Structural Properties of Transition Systems.
journals/mst/CourcelleMR00:::Bruno Courcelle::Johann A. Makowsky::Udi Rotics:::Linear Time Solvable Optimization Problems on Graphs of Bounded Clique-Width.
journals/mst/Allender91:::Eric Allender:::Limitations of the Upward Separation Technique.
journals/mst/Trotter76:::William T. Trotter:::A Forbidden Subposet Characterization of an Order-Dimension Inequality.
journals/mst/WestbrookY95:::Jeffery Westbrook::Dicky C. K. Yan:::The Performance of Greedy Algorithms for the On-Line Steiner Tree and Related Problems.
journals/mst/BlellochL98:::Guy E. Blelloch::Charles E. Leiserson:::An Experimental Analysis of Parallel.
