Refine
Year of publication
Document Type
- Conference Proceeding (41) (remove)
Has Fulltext
- yes (41)
Is part of the Bibliography
- no (41)
Keywords
- Computerlinguistik (3)
- Linguistische Datenverarbeitung (3)
- Textanalyse (3)
- Textanalyse ; Linguistische Datenverarbeitung; Computerlinguistik (3)
- Databases (2)
- Adaptive Prediction (1)
- Approximation algorithm (1)
- Automata theory (1)
- Benchmark testing (1)
- Cognition (1)
- Computational complexity (1)
- Concrete (1)
- Connected Components (1)
- Correctness (1)
- Crowdsourcing (1)
- Data processing (1)
- Data science (1)
- Datenqualität (1)
- EDISON competence framework (1)
- Educational institutions (1)
- Europe (1)
- Experimental Evaluation (1)
- External Memory (1)
- Extraterrestrial measurements (1)
- Frankfurt <Main, 2003> (1)
- Graph Algorithms (1)
- Infinite games with perfect information (1)
- Informatik (1)
- Integer relations (1)
- Knowledge engineering (1)
- Kongress (1)
- Label cover (1)
- Linked Data (1)
- Medical Systems (1)
- Museums (1)
- NP-hard (1)
- Neural Networks (1)
- Neurofuzzy (1)
- Numismatics (1)
- Probabilistically checkable proofs (1)
- Program Transformations (1)
- Programming (1)
- Prophet Inequalities (1)
- Randomization (1)
- SWRL (1)
- Statistical Classification (1)
- Stochastic Probing (1)
- Termination (1)
- Testing (1)
- Training (1)
- Ungewissheit (1)
- addition-invariant first-order logic (1)
- algebraic closure properties (1)
- algorithms (1)
- ambiguity (1)
- anatomy ontologies (1)
- automata (1)
- bisimulation (1)
- call-by-need (1)
- call-by-need evaluation (1)
- combinatorics (1)
- communication complexity (1)
- concurrency (1)
- contextual equivalence (1)
- data crowdsourcing (1)
- data quality (1)
- data science education (1)
- data streams (1)
- data structures (1)
- decidable characterisations (1)
- gamification (1)
- hierarchies and reducibilities (1)
- knowledge area (1)
- lambda calculus (1)
- learning goal (1)
- learning unit (1)
- letrec (1)
- literature digitization (1)
- logic (1)
- logical interpretations (1)
- lower bounds (1)
- machine models (1)
- non-commercial publishing (1)
- nondeterministic finite automata (1)
- open access (1)
- parallel processes (1)
- random hyperbolic graph generator (1)
- reactive systems (1)
- regular tree languages (1)
- semantics (1)
- space improvements (1)
- space optimization (1)
- specification and verification (1)
- streaming algorithm (1)
- tailored learning path (1)
- text mining tools (1)
- the set disjointness problem (1)
- uncertainty (1)
- verification (1)
Institute
- Informatik (41) (remove)