„Computing Methodologies.“
Suchergebnisse
1.689 Treffer
-
Learning deterministic probabilistic automata from a model checking perspective
-
Expected similarity estimation for large-scale batch and streaming anomaly detection
-
Computing the Ramsey number R(4,3,3) using abstraction and symmetry breaking
-
Guest editors introduction: special issue on inductive logic programming
-
Biosemiotic Achievement Award for the Year 2015
-
Dirichlet Process Mixture Models with Pairwise Constraints for Data Clustering
-
Just How Emergent is the Emergence of Semiosis?
-
Relaxed abduction – robust information interpretation for industrial applications
-
Modelling Ex Situ Animal Behaviour and Communication
-
Run-time monitoring using bounded constraint instance discovery within big data streams
-
Regression test size reduction using improved precision slices
-
Metrics for V&V of cyber defenses
-
Security patterns modeling and formalization for pattern-based development of secure software systems
-
Capturing autonomy features for unmanned spacecraft with ARE, the autonomy requirements engineering approach
-
Languages, methodologies and development tools for multi-agent systems – third international workshop ; revised selected papers
-
Probabilistic (logic) programming concepts
-
A non-negative representation learning algorithm for selecting neighbors
-
Direction prediction for avoiding occlusion in visual surveillance
-
Learning relational dependency networks in hybrid domains
-
Consensus hashing