1
Publicat 2005
Taula de continguts: ...Pushing Constraints to Detect Local Patterns -- From Local to Global Patterns: Evaluation Issues...
Obtenir text complet
Electrònic eBook
2
Publicat 2007
Taula de continguts: ... for Straight-Line Programs Is NP-Complete -- Conservative Ambiguity Detection in Context-Free Grammars...
Obtenir text complet
Electrònic eBook
3
Publicat 2008
Taula de continguts: ... -- Regular Papers -- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming -- A...
Obtenir text complet
Electrònic eBook
4
Publicat 2006
Taula de continguts: ...802.11 De-authentication Attack Detection Using Genetic Programming -- 802.11 De-authentication...
Obtenir text complet
Electrònic eBook
5
Publicat 2006
Taula de continguts: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Obtenir text complet
Electrònic eBook
6
Publicat 2014
Taula de continguts: ...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...
Obtenir text complet
Electrònic eBook
7
Publicat 2015
Taula de continguts: ... for Type-Unsafe Operations Detection -- Running Probabilistic Programs Backwards -- A Verified Compiler...
Obtenir text complet
Electrònic eBook
8
Publicat 2010
Taula de continguts: ... with Rank Constraint -- Cycle Detection and Correction -- Decomposition Width of Matroids -- Session 2-Track...
Obtenir text complet
Electrònic eBook
9
Publicat 2005
Taula de continguts: ... of Structure in Problem Solving by Computer -- Lessons Learned Using Genetic Programming in a Stock Picking...
Obtenir text complet
Electrònic eBook
10
Publicat 2005
Taula de continguts: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Obtenir text complet
Electrònic eBook
11
Publicat 2006
Taula de continguts: ...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...
Obtenir text complet
Electrònic eBook
12
Publicat 2010
Taula de continguts: ... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...
Obtenir text complet
Electrònic eBook
13
Publicat 2010
Taula de continguts: ... Schema Subtraction -- XML Modeling -- Fast Detection of Functional Dependencies in XML Data -- TP+Output...
Obtenir text complet
Electrònic eBook
14
Publicat 2010
Taula de continguts: ... Campaign to Oil Pipelines -- High Security with Low Latency in Legacy SCADA Systems -- Detecting Sensor...
Obtenir text complet
Electrònic eBook
15
Publicat 2010
Taula de continguts: ... Population Using Pooled DNA -- Pathway-Based Functional Analysis of Metagenomes -- Hierarchical Generative...
Obtenir text complet
Electrònic eBook
16
Publicat 2010
Taula de continguts: ...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...
Obtenir text complet
Electrònic eBook
17
Publicat 2005
Taula de continguts: ...Expression -- Spectral Clustering Gene Ontology Terms to Group Genes by Function -- Dynamic De-Novo...
Obtenir text complet
Electrònic eBook
18
Publicat 2008
Taula de continguts: ... -- The Relation between Indel Length and Functional Divergence: A Formal Study -- Detecting Repeat Families...
Obtenir text complet
Electrònic eBook
19
Publicat 2008
Taula de continguts: ... -- Side Channel Analysis -- Quantifying Timing Leaks and Cost Optimisation -- Method for Detecting...
Obtenir text complet
Electrònic eBook
20
Publicat 2007
Taula de continguts: ..., High Reading Error Rate and Low Coverage -- Two Birds, One Stone: Selecting Functionally Informative...
Obtenir text complet
Electrònic eBook