Вы здесь

Главная

динамический

Связанные издания:

Mapping a Complex Temporal Problem into a Combination of Static and Dynamic Neural Networks
Mapping an ADL to a Component-Based Application Development Environment
Mathematics of Program Construction: Proc./10th International Conference, MPC 2010, Quebec City, Canada, June 2010
"Maximal-Munch" Tokenization in Linear Time
Membrane Computing: Revised Selected Papers/16th International Conference, CMC 2015, Valencia, Spain, August 2015
Memory Allocation for Long-Running Server Applications
Microarchitecture Support for Dynamic Scheduling of Acyclic Task Graphs
Microsoft Visual 6.0 Run-Time Library Reference
Minimization of Communication Cost Through Caching in Mobile Environments
Minimizing Reference Count Updating with Deferred and Anchored Pointers for Functional Data Structures
Mining Intelligence and Knowledge Exploration: Revised Selected Papers/4th International Conference, MIKE 2016, Mexico City, Mexico, November 2016
Model Checking: Knowledge, Actions and Fixpoints
Modeling the Dynamic Behavior of Objects on Event, Messages and Methods
Modelling and Simulation for Autonomous Systems: Revised Selected Papers/1st International Workshop, MESAS 2014, Rome, Italy, May 2014
Models of Strategic Reasoning: Logics, Games, and Communities
Modularization of typed Gurevich machines
Monad-Independent Dynamic Logic in HasCASL
Motion in Game: Proc./Third International Conference, MIG 2010, Utrecht, The Netherlands, November 2010
Multiobjective A
Network and Parallel Computing: Proc./8th IFIP International Conference, NPC 2011, Changsha, China, October 2011
New Frontiers in Artificial Intelligence: Revised Selected Papers/JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 2012
New Frontiers in Artificial Intelligence: Revised Selected Papers/JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 2013
New Frontiers in Artificial Intelligence: Revised Selected Papers/JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 2015
New Frontiers in Artificial Intelligence: Revised Selected Papers/JSAI-isAI 2016 Workshops, LENLS, HAT-MASH, AI-Biz, JURISIN and SKL, Kanagawa, Japan, November 2016
New Type Signatures for Legacy Fortran Subroutines
Object-Oriented Database as a Dynamic System with Implicit State
Object-Oriented Database as a Dynamic System with Implicit State Par
Occurrences in debugger specifications
On Arnol d s Hilbert Symposium Problems
On Homeostatic Behavior of Dynamic Deductive Data Base
On models for propositional dynamic logic
On the Benefits and Limitations of Dynamic Partitioning in Parallel Computer Systems
On the Semantics of Rules in Database Programming Languages
OpenSpaces: An Object-Oriented Framework for Reconfigurable Coordination Spaces
Optimal Bounds on the Gain of Permitting Dynamic Allocation of Communication Channels in Distributed Computing
Optimal Tile Sizing
Optimal Time Self Stabilization in Dynamic Systems
Optimization of Dynamic Query Evaluation Plans
Optimizing Spatial Data Structures for Static Data
PANDORE: Un systeme expert pour l optimisation des systemes dynamiques
Parallel Job Scheduling under Dynamic Workloads
Parallel Pattern Recognition using Dynamic Programming
Parametric Weighted Filter - A Dynamically Efficient Manipulation of Signature Files
Partial Correctness Assertions Provable in Dynamic Logics
Patching onto the Web: Common Lisp Hypermedia for the Intranet
PDL with Intersection and Converse Is Decidable
Performance Analysis of a Dynamic Query Processing Scheme
Pervasive Challenges for Software Components
Pool: An Unbounded Array
Posting Compression in Dynamic Retrieval Environments