1
Tabl Cynhwysion: ...Inverse problems and subjective computing -- Basic problem of statistical inference -- The praise...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2008
Tabl Cynhwysion: ...Trustworthy Global Computing -- Elimination of Ghost Variables in Program Logics -- Web Service...
Cael y testun llawn
Electronig eLyfr
3
Cyhoeddwyd 2006
Tabl Cynhwysion: ...Invited Talk 1 -- Type Processing by Constraint Reasoning -- Session 1 -- Principal Type Inference...
Cael y testun llawn
Electronig eLyfr
4
Cyhoeddwyd 2005
Tabl Cynhwysion: ... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...
Cael y testun llawn
Electronig eLyfr
5
Cyhoeddwyd 2006
Tabl Cynhwysion: ... Analysis in k-Bits -- Path Optimization in Programs and Its Application to Debugging -- Inference of User...
Cael y testun llawn
Electronig eLyfr
6
Cyhoeddwyd 2005
Tabl Cynhwysion: ... Processing on Conventional MIMD Computers -- Parallel Implementation of Back-Propagation Neural Network...
Cael y testun llawn
Electronig eLyfr
7
Cyhoeddwyd 2008
Tabl Cynhwysion: ... in Concurrent Programs -- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations...
Cael y testun llawn
Electronig eLyfr
8
Cyhoeddwyd 2006
Tabl Cynhwysion: ... PROGRAMMING FOR MAXIMUM-LIKELIHOOD PHYLOGENY INFERENCE -- MINING DOMINANCE ASSOCIATION RULES IN PREFERENCE...
Cael y testun llawn
Electronig eLyfr
9
Cyhoeddwyd 2005
Tabl Cynhwysion: ... Watershed Algorithm -- Inferring Cause/Effect Relationships in Multi-sensor Ambient Intelligence Systems...
Cael y testun llawn
Electronig eLyfr
10
Cyhoeddwyd 2012
Tabl Cynhwysion: ... Processing -- Learn to Swing Up and Balance a Real Pole Based on Raw Visual Input Data -- GPU-Based...
Cael y testun llawn
Electronig eLyfr
11
Cyhoeddwyd 2013
Tabl Cynhwysion: ... Erto and Antonio Lepore) -- On Gaussian Compound Poisson Type Limiting Likelihood Ratio Process...
Cael y testun llawn
Electronig eLyfr
12
Cyhoeddwyd 2006
Tabl Cynhwysion: ... -- Minimal Templates Problem -- The Inference Processes on Clustered Rules -- Extending Decision Units...
Cael y testun llawn
Electronig eLyfr
13
Cyhoeddwyd 2008
Tabl Cynhwysion: ... Transducers -- Knowledge Processing for Web Search — An Integrated Model -- Applying Social Behaviours...
Cael y testun llawn
Electronig eLyfr
14
Cyhoeddwyd 2008
Tabl Cynhwysion: ...1 - Information Systems Design -- Formalization of Data Flow Computing and a Coinductive Approach...
Cael y testun llawn
Electronig eLyfr
15
Tabl Cynhwysion: ... in Process Optimization -- Statistical Inference in First Order RSM Optimization -- Statistical Inference...
Cael y testun llawn
Electronig eLyfr
16
Cyhoeddwyd 2010
Tabl Cynhwysion: ... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...
Cael y testun llawn
Electronig eLyfr
17
Cyhoeddwyd 2006
Tabl Cynhwysion: ... of CSP -- Clique Inference Process for Solving Max-CSP -- Global Grammar Constraints -- Constraint...
Cael y testun llawn
Electronig eLyfr
18
Cyhoeddwyd 2008
Tabl Cynhwysion: ...Podium Presentations -- Optimization with Genetic Algorithms and Splines as a way for Computer...
Cael y testun llawn
Electronig eLyfr
19
Cyhoeddwyd 2012
Tabl Cynhwysion: ... Programming Matching -- Correspondences of Persistent Feature Points on Near-Isometric Surfaces -- 3D...
Cael y testun llawn
Electronig eLyfr
20
Cyhoeddwyd 2007
Tabl Cynhwysion: ... Template Boosting -- Bayesian Inference for Layer Representation with Mixed Markov Random Field -- Image...
Cael y testun llawn
Electronig eLyfr