Checking the Quality of Clinical Guidelines using Automated Reasoning Tools

Choosing and ranking. Let's be logical about it

Circuit Complexity and Decompositions of Global Constraints

Classification dynamique d'un flux documentaire : une évaluation statique préalable de l'algorithme GERMEN

Classification of artificial intelligence ids for smurf attack

Classification of Ordinal Data

Classifying Signals with Local Classifiers

Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas

Clever Search: A WordNet Based Wrapper for Internet Search Engines

CLP-based protein fragment assembly

Cluster-based Specification Techniques in Dempster-Shafer Theory

Cluster-based Specification Techniques in Dempster-Shafer Theory for an Evidential Intelligence Analysis of MultipleTarget Tracks (Thesis Abstract)

Clustering and Feature Selection using Sparse Principal Component Analysis

Clustering belief functions based on attracting and conflicting metalevel evidence

Clustering Co-occurrence of Maximal Frequent Patterns in Streams

Clustering Mixed Numeric and Categorical Data: A Cluster Ensemble Approach

Clustering Techniques for Marbles Classification

Clustering with Lattices in the Analysis of Graph Patterns

Clusters, Graphs, and Networks for Analysing Internet-Web-Supported Communication within a Virtual Community

Coarse-grained scheduling for astronomy satellites