Вы здесь

Главная

вероятностный

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

About Selections and Joins Possibilitic Queries Addressed to Possibilitic Databases
Acceptance Trees for Probabilistic Processes
A Complete Axiomatization of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification
Advances in Artificial Intelligence - IBERAMIA 2016: Proc./15th Ibero-American Conference on AI, San Jose, Costa Rica, November 2016
Advances in Artificial Intelligence, Part I: Proc./9th Mexican International Conference on AI, MICAI 2010, Pachuca, Mexico, November 2010
Advances in Artificial Intelligence: Proc./25th Canadian Conference on AI, Canadian AI 2012, Toronto,ON,Canada, May 2012
Advances in Knowledge Discovery and Data Mining, Part I: Proc./18th Pacific-Asia Conference, PAKDD 2014, Tainan, Taiwan, May 2014
Advances in Neural Networks - ISNN 2008. Part I: Proc./5th International Symposium on Neural Networks, ISSN 2008. Beijing, China, September 2008
Advances in Nonlinear Speech Processing: Proc./5th International Conference, NOLISP 2011, Las Palamos de Gran Canaria, Spain, November 2011
Advances in Spatial and Temporal Databases: Proc./15th International Symposium, SSTD 2017, Arlington,VA,USA, August 2017
Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain Information
Algorithmic Learning Theory: Proc./17th International Conference, ALT 2006. Barcelona, Spain, October 2006
Algorithms and Discrete Applied Mathematics: Proc./1st International Conference, CALDAM 2015, Kanpur, India, February 2015
Algorithms for Sensor Systems: Revised Selected Papers/7th International Symposium, ALGOSENSORS 2011, Saarbrucken, Germany, September 2011
Analytical and Stochastic Modelling Techniques and Applications: Proc./25th International Conference, ASMTA 2019, Moscow, Russia, October 2019
Animat control system based on semantic probabilistic inference
A Probabilistic Terminological Logic for Modeling Information Retrieval
A Probabilistic View of Datalog Parallelization
Artificial Intelligence and Computational Intelligence, Part III: Proc./3rd International Conference, AICI 2011, Taiyuan, China, September 2011
Artificial Intelligence and Soft Computing, Part I: Proc./11th International Conference, ICAISC 2012, Zakopane, Poland, April 2012
Artificial Intelligence and Soft Computing, Part I: Proc./16th International Conference, ICAISC 2017, Zakopane, Poland, June 2017
Artificial Intelligence in Medicine: Proc./16th Conference on AI in Medicine, AIME 2017, Vienna, Austria, June 2017
Artificial Intelligence: Methodologiy, Systems, and Applications: Proc./16th International Conference, AIMSA 2014, Varna, Bulgaria, September 2014
Artificial Neural Networks: Formal Models and Their Applications - ICANN 2005, Part II: Proc./15th International Conference. Warsaw, Poland, September 2005
A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases
A Study of Probability Kinematics in Information Retrieval
Asynchronous Behavior of Double-Quiescent Elementary Cellular Automata
Automated Technology for Verification and Analysis: Proc./4th International Symposium, ATVA 2006. Beijing, China, October 2006
Average-Case Performance Analysis of Online Non-Clairvoyant Scheduling of Parallel Tasks With Precedence Constraints
Axiomatizations for Probabilistic Finite-State Behaviors
Axiomatizing Probabilistic Processes: ACP with Generative Probabilities
Bayesian and grAphical Models for Biomedical Imaging: Revised Selected Papers/1st International Workshop, BAMBI 2014, Cambridge,MA,USA, September 2014
Belief Functions: Theory and Aplications: Proc./3rd International Conference, BELIEF 2014, Oxford, UK, September 2014
Belief Functions: Theory and Applications: Proc./5th International Conference, BELIEF 2018, Compiègne, France, September 2018
Big Data Analytics: Proc./3rd International Conference, BDA 2014, New Delhi, India, December 2014
Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications
Cellular Automata and Discrete Complex Systems: Proc./23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Spain, June 2017
Combinatorial Algorithms: Proc./27th International Workshop, IWOCA 2016, Helsinki, Finland, August 2016
Combinatorics, Algorithms, Probabilistic and Experimental Methodologies: Revised Selected Papers/1st International Symposium, ESCAPE 2007. Hangzhou, China, April 2007
Compositional Verification of Probabilistic
Composition and Behaviors of Probabilistic I/O Automata
Computational Methods in Systems Biology: Proc./International Conference, CMSB 2006. Trento, Italy, October 2006
Computation properties of spatial dynamics simulation by probabilistic cellular automata
Computer Aided Verification, Part I: Proc./28th International Conference, CAV 2016, Toronto,ON,Canada, July 2016
Computer Aided Verification: Proc./17th International Conference, CAV 2005. Edinburgh, Scotland, UK, July 2005
Computer Aided Verification: Proc./18th International Conference, CAV 2006. Seattle, WA, USA, August 2006
CONCUR 2004 - Concurrency Theory: Proc./15th International Conference. London, UK, August/September 2004
CONCUR 2006 - Concurrency Theory: Proc./17th International Conference, CONCUR 2006. Bonn, Germany, August 2006
CONCUR 2008 - Concurrency Theory: Proc./19th International Conference, CONCUR 2008. Toronto, Canada, August 2008
CONCUR 2011 - Concurrency Theory: Proc./22nd International Conference, CONCUR 2011, Aachen,Germany, September 2011