Entity usage
From MaRDI portal
This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.
Showing below up to 50 results in range #1 to #50.
- How Complex Is Your Classification Problem?: Label: en
- Anomaly detection: Label: en
- Discrete Bayesian Network Classifiers: Label: en
- From RSSI to CSI: Label: en
- Unsolved problems in visibility graphs of points, segments, and polygons: Label: en
- Data stream clustering: Label: en
- Self-organizing maps with a time-varying structure: Label: en
- Slice embedding solutions for distributed service architectures: Label: en
- A uniform definition of stochastic process calculi: Label: en
- Overlapping community detection in networks: Label: en
- In memoriam Paris C. Kanellakis: Label: en
- Corrections to “A Menagerie of Timed Automata”: Label: en
- The verified software initiative: Label: en
- Software model checking: Label: en
- Automated deduction for verification: Label: en
- Preface to special issue on software verification: Label: en
- Mobile Sensor Networks: Label: en
- Evolutionary Network Analysis: Label: en
- Discrete Bayesian Network Classifiers: Label: en
- A Survey of Directed Entity-Relation--Based First-Order Probabilistic Languages: Label: en
- A survey on server-side approaches to securing web applications: Label: en
- Memory encryption: Label: en
- Spaces, Trees, and Colors: Label: en
- When Errors Become the Rule: Label: en
- A survey on standards for real-time distribution middleware: Label: en
- Fault-tolerant scheduling in homogeneous real-time systems: Label: en
- Shortest-path queries in static networks: Label: en
- A survey on concept drift adaptation: Label: en
- Statistical machine translation enhancements through linguistic levels: Label: en
- A menagerie of timed automata: Label: en
- Software testing with an operational profile: Label: en
- Benchmarks for dynamic multi-objective optimisation algorithms: Label: en
- Online portfolio selection: Label: en
- Loop invariants: Label: en
- Formal models of stepwise refinements of programs: Label: en
- Unification: a multidisciplinary survey: Label: en
- Hierarchical representations of collections of small rectangles: Label: en
- Semantic data models: Label: en
- Statistical profile estimation in database systems: Label: en
- Queuing analysis of polling models: Label: en
- Type theories and object-oriented programmimg: Label: en
- Data compression: Label: en
- A logical design methodology for relational databases using the extended entity-relationship model: Label: en
- Efficient algorithms for finding maximum matching in graphs: Label: en
- On nonmetric similarity search problems in complex domains: Label: en
- Coverage problems in sensor networks: Label: en
- Progress in autonomous fault recovery of field programmable gate arrays: Label: en
- Constraint programming systems for modeling music theories and composition: Label: en
- Geometric distortion measurement for shape coding: Label: en
- XML data clustering: Label: en