Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
function structures » functions structures, function structure, functional structures
programs detecting » programs testing, problems detecting, programs getting
detecting https » directing https, detecting hot, directing http
https function » its function, sites function, ups function
function structures » functions structures, function structure, functional structures
programs detecting » programs testing, problems detecting, programs getting
detecting https » directing https, detecting hot, directing http
https function » its function, sites function, ups function
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
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
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