1
Udgivet 2010
Indholdsfortegnelse: ... Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint...
Få fuldtekst
Electronisk eBog
2
Indholdsfortegnelse: ... and Estimation -- 3.5 Ability of Indices to Detect Some Ecological Processes -- 4. How To Estimate Functional...
Få fuldtekst
Electronisk eBog
3
Udgivet 2005
Indholdsfortegnelse: ... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...
Få fuldtekst
Electronisk eBog
4
af Li, Xingfeng., Li, Xingfeng.
Udgivet 2014
Indholdsfortegnelse: ... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...
Få fuldtekst
Electronisk eBog
5
... the set of fitness functions support reformulation of data dependency flow for detection of SQL Injection...
Få fuldtekst
Article
6
Udgivet 2005
Indholdsfortegnelse: ...Pushing Constraints to Detect Local Patterns -- From Local to Global Patterns: Evaluation Issues...
Få fuldtekst
Electronisk eBog
7
Udgivet 2006
Indholdsfortegnelse: ...802.11 De-authentication Attack Detection Using Genetic Programming -- 802.11 De-authentication...
Få fuldtekst
Electronisk eBog
8
Udgivet 2008
Indholdsfortegnelse: ... -- Regular Papers -- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming -- A...
Få fuldtekst
Electronisk eBog
9
Udgivet 2006
Indholdsfortegnelse: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Få fuldtekst
Electronisk eBog
10
Udgivet 2015
Indholdsfortegnelse: ... for Type-Unsafe Operations Detection -- Running Probabilistic Programs Backwards -- A Verified Compiler...
Få fuldtekst
Electronisk eBog
11
Udgivet 2010
Indholdsfortegnelse: ... with Rank Constraint -- Cycle Detection and Correction -- Decomposition Width of Matroids -- Session 2-Track...
Få fuldtekst
Electronisk eBog
12
Udgivet 2007
Indholdsfortegnelse: ... for Straight-Line Programs Is NP-Complete -- Conservative Ambiguity Detection in Context-Free Grammars...
Få fuldtekst
Electronisk eBog
13
Udgivet 2006
Indholdsfortegnelse: ... Functions in Gene Expression Programming -- Evolving Intrusion Detection Systems -- Evolutionary Pattern...
Få fuldtekst
Electronisk eBog
14
Udgivet 2015
Indholdsfortegnelse: ... Algorithm -- RADPRE: a Computational Program for Identification of Differential mRNA Processing Including...
Få fuldtekst
Electronisk eBog
15
Udgivet 2007
Indholdsfortegnelse: ... in Transaction Logic -- Conditional Planning with External Functions -- Logic Programs with Abstract Constraints...
Få fuldtekst
Electronisk eBog
16
Udgivet 2015
Indholdsfortegnelse: ... Symbolic Regression with Genetic Programming -- Sliding Window Symbolic Regression for Detecting Changes...
Få fuldtekst
Electronisk eBog
17
Udgivet 2005
Indholdsfortegnelse: ... Programming System -- Incident Detection on Highways -- Pareto-Front Exploitation in Symbolic Regression...
Få fuldtekst
Electronisk eBog
18
Udgivet 2013
Indholdsfortegnelse: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Få fuldtekst
Electronisk eBog
19
Udgivet 2005
Indholdsfortegnelse: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Få fuldtekst
Electronisk eBog
20
Udgivet 2007
Indholdsfortegnelse: ... Strategies -- A Program Transformation for Tracing Functional Logic Computations -- Termination and Analysis...
Få fuldtekst
Electronisk eBog