1
Publicat 2007
Taula de continguts: ... -- Integration of Constraint Programming and Metaheuristics -- Rule-Based Reasoning Via Abstraction...
Obtenir text complet
Electrònic eBook
2
Taula de continguts: ... -- Theory for the demonic model -- The geometry of probabilistic programs -- Proved rules for probabilistic...
Obtenir text complet
Electrònic eBook
3
Publicat 2005
Taula de continguts: ... -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations...
Obtenir text complet
Electrònic eBook
4
per Majkić, Zoran., Majkić, Zoran.
Publicat 2014
Matèries: ...Computer Appl. in Administrative Data Processing. https://scigraph.springernature.com/ontologies...
Obtenir text complet
Electrònic eBook
5
Publicat 2008
Taula de continguts: ..., Web Services and Business Processes: The ASM-Based Approach -- Refinement of State-Based Systems: ASMs...
Obtenir text complet
Electrònic eBook
6
Publicat 2006
Taula de continguts: ...Computational Linguistics Research -- Integrating Semantic Frames from Multiple Sources -- Making...
Obtenir text complet
Electrònic eBook
7
Publicat 2008
Taula de continguts: ... Classifier Models of Coevolution -- Integrating Categorical Variables with Multiobjective Genetic Programming...
Obtenir text complet
Electrònic eBook
8
Publicat 2006
Taula de continguts: ... Programming -- Case Based Reasoning and Probabilistic Reasoning -- Special Session on Computational...
Obtenir text complet
Electrònic eBook
9
Publicat 2006
Taula de continguts: ... Mining Algorithm -- Multiset Rule-Based Programming Paradigm for Soft-Computing in Complex Systems...
Obtenir text complet
Electrònic eBook
10
Publicat 2010
Taula de continguts: ... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...
Obtenir text complet
Electrònic eBook
11
Publicat 2010
Taula de continguts: ... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...
Obtenir text complet
Electrònic eBook
12
Publicat 2015
Taula de continguts: ... Modelled with Complex Objects -- Chemistry-inspired Adaptive Stream Processing -- Computing Partial...
Obtenir text complet
Electrònic eBook
13
Publicat 2010
Taula de continguts: ... and Proteomics -- Intelligent Computing in Signal Processing -- Intelligent Computing in Pattern Recognition...
Obtenir text complet
Electrònic eBook
14
Publicat 2012
Taula de continguts: ... of Human, Machine and Information:Robot Suit for the Future.-If Abstraction Is the Answer, What...
Obtenir text complet
Electrònic eBook
15
Publicat 2010
Taula de continguts: ... Component Model for Autonomous Robotics -- Design Abstraction and Processes in Robotics: From Code-Driven...
Obtenir text complet
Electrònic eBook
16
Publicat 2012
Taula de continguts: ... Processing -- Learn to Swing Up and Balance a Real Pole Based on Raw Visual Input Data -- GPU-Based...
Obtenir text complet
Electrònic eBook
17
Publicat 2012
Taula de continguts: ... Conversational Calculator Based on Remote Online Computation -- Load Forecasting Accuracy through Combination...
Obtenir text complet
Electrònic eBook
18
Publicat 2014
Taula de continguts: ...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...
Obtenir text complet
Electrònic eBook
19
per Krnac, Lubos., Krnac, Lubos.
Publicat 2015
Matèries: ...Java (Computer program language)....
Obtenir text complet
Electrònic eBook
20
Publicat 2006
Taula de continguts: ... Domains -- Logtalk Processing of STEP Part 21 Files -- Integrating Datalog with OWL: Exploring the AL-log...
Obtenir text complet
Electrònic eBook