1
Cyhoeddwyd 2010
Tabl Cynhwysion: ... Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2008
Tabl Cynhwysion: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Cael y testun llawn
Electronig eLyfr
3
gan Li, Xingfeng., Li, Xingfeng.
Cyhoeddwyd 2014
Tabl Cynhwysion: ... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...
Cael y testun llawn
Electronig eLyfr
4
Cyhoeddwyd 2006
Tabl Cynhwysion: ...802.11 De-authentication Attack Detection Using Genetic Programming -- 802.11 De-authentication...
Cael y testun llawn
Electronig eLyfr
5
Cyhoeddwyd 2007
Tabl Cynhwysion: ... for Straight-Line Programs Is NP-Complete -- Conservative Ambiguity Detection in Context-Free Grammars...
Cael y testun llawn
Electronig eLyfr
6
Cyhoeddwyd 2006
Tabl Cynhwysion: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Cael y testun llawn
Electronig eLyfr
7
Cyhoeddwyd 2005
Tabl Cynhwysion: ...Pushing Constraints to Detect Local Patterns -- From Local to Global Patterns: Evaluation Issues...
Cael y testun llawn
Electronig eLyfr
8
Cyhoeddwyd 2010
Tabl Cynhwysion: ... with Rank Constraint -- Cycle Detection and Correction -- Decomposition Width of Matroids -- Session 2-Track...
Cael y testun llawn
Electronig eLyfr
9
Cyhoeddwyd 2005
Tabl Cynhwysion: ... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...
Cael y testun llawn
Electronig eLyfr
10
Cyhoeddwyd 2006
Tabl Cynhwysion: ...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...
Cael y testun llawn
Electronig eLyfr
11
Cyhoeddwyd 2010
Tabl Cynhwysion: ... for Detecting Bugs in Concurrent Programs -- Automatically Proving Linearizability -- Model Checking...
Cael y testun llawn
Electronig eLyfr
12
Cyhoeddwyd 2007
Tabl Cynhwysion: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Cael y testun llawn
Electronig eLyfr
13
Cyhoeddwyd 2006
Tabl Cynhwysion: ... Functions in Gene Expression Programming -- Evolving Intrusion Detection Systems -- Evolutionary Pattern...
Cael y testun llawn
Electronig eLyfr
14
Tabl Cynhwysion: ... and Estimation -- 3.5 Ability of Indices to Detect Some Ecological Processes -- 4. How To Estimate Functional...
Cael y testun llawn
Electronig eLyfr
15
Cyhoeddwyd 2008
Tabl Cynhwysion: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
Cael y testun llawn
Electronig eLyfr
16
Cyhoeddwyd 2006
Tabl Cynhwysion: ...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...
Cael y testun llawn
Electronig eLyfr
17
Cyhoeddwyd 2013
Tabl Cynhwysion: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Cael y testun llawn
Electronig eLyfr
18
Cyhoeddwyd 2005
Tabl Cynhwysion: ... Segmentation -- An Interactive EA for Multifractal Bayesian Denoising -- Object Detection for Computer Vision...
Cael y testun llawn
Electronig eLyfr
19
Cyhoeddwyd 2008
Tabl Cynhwysion: ... Programs for Path-Delay Faults in Microprocessors -- EvoIASP Contributions -- Evolutionary Object Detection...
Cael y testun llawn
Electronig eLyfr
20
Cyhoeddwyd 2006
Tabl Cynhwysion: ...) Probability Function for FMS IP Trace-Back Technique -- A Mechanism for Detection and Prevention...
Cael y testun llawn
Electronig eLyfr