christian-have documents

Efficient Tabling of Structured Data Using Indexing and Program Transformation
Technology Efficient Tabling of Structured Data Using Indexing and Program Transformation
Stochastic Definite Clause Grammars
Documents Stochastic Definite Clause Grammars
Constraints and Global Optimization for Gene Prediction Overlap Resolution
Technology Constraints and Global Optimization for Gene Prediction Overlap Resolution
ICLP 2009 doctoral consortium presentation; Logic-Statistic Models with Constraints for Biological Sequence Analysis
Technology ICLP 2009 doctoral consortium presentation; Logic-Statistic Models with Constraints for Biological Sequence Analysis
Inference with Constrained Hidden Markov Models in PRISM
Technology Inference with Constrained Hidden Markov Models in PRISM
Efficient Probabilistic Logic Programming for Biological Sequence Analysis
Data & Analytics Efficient Probabilistic Logic Programming for Biological Sequence Analysis
Nagios præsentation (på dansk)
Technology Nagios præsentation (på dansk)
Next generation security analytics
Technology Next generation security analytics