Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 2 of 546599 results
Sort by: relevance publication year

One More Decidable Class of Finitely Ground Programs

BOOK CHAPTER published 2009 in Logic Programming

Authors: Yuliya Lierler | Vladimir Lifschitz

A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions

BOOK CHAPTER published 2009 in Language and Automata Theory and Applications

Authors: Tomáš Masopust

Automated Deduction — CADE-12

BOOK published 1994 in Lecture Notes in Computer Science

Editors: Alan Bundy

Ordering without Forbidden Patterns

BOOK CHAPTER published 2014 in Algorithms - ESA 2014

Authors: Pavol Hell | Bojan Mohar | Arash Rafiey

Acyclic Directed Graphs to Represent Conditional Independence Models

BOOK CHAPTER published 2009 in Lecture Notes in Computer Science

Authors: Marco Baioletti | Giuseppe Busanello | Barbara Vantaggi

Factorization for Component-Interaction Automata

BOOK CHAPTER published 2012 in SOFSEM 2012: Theory and Practice of Computer Science

Authors: Nikola Beneš | Ivana Černá | Filip Štefaňák

Finitely Generated Synchronizing Automata

BOOK CHAPTER published 2009 in Language and Automata Theory and Applications

Authors: Elena V. Pribavkina | Emanuele Rodaro

A Language for Reliable Service Composition

BOOK CHAPTER published 2007 in Lecture Notes in Computer Science

Authors: Qingjun Xiao | Ruonan Rao | Jinyuan You

Protecting Disseminative Information in E-Learning

BOOK CHAPTER published in Lecture Notes in Computer Science

Authors: Lili Sun | Hua Wang | Yan Li

APCAS: An Approximate Approach to Adaptively Segment Time Series Stream

BOOK CHAPTER published in Advances in Data and Web Management

Authors: Li Junkui | Wang Yuanzhen

A Study of Manner Adverbs’ Sememe Collocation in Modern Chinese

BOOK CHAPTER published 2015 in Lecture Notes in Computer Science

Authors: Lu Zhou | Rui Liu

MICCLLR: Multiple-Instance Learning Using Class Conditional Log Likelihood Ratio

BOOK CHAPTER published 2009 in Discovery Science

Authors: Yasser EL-Manzalawy | Vasant Honavar

Reachability Analysis of Hybrid Systems Using Support Functions

BOOK CHAPTER published 2009 in Computer Aided Verification

Authors: Colas Le Guernic | Antoine Girard

Gérard

BOOK CHAPTER published 2009 in Intelligent Virtual Agents

Authors: Charly Awad | Kyle Duarte | Thibaut Le Naour

On Finitely Recursive Programs

BOOK CHAPTER published in Logic Programming

Authors: S. Baselice | P. A. Bonatti | G. Criscuolo

Research Summary: Non-termination Analysis of Logic Programs

BOOK CHAPTER published 2009 in Logic Programming

Authors: Dean Voets

Maladie d’Alzheimer: une complication supplémentaire du diabète ?

JOURNAL ARTICLE published September 2009 in Diabetologia Notes de lecture

Authors: Patrice Darmon

Scalable Uncertainty Management

BOOK published 2018 in Lecture Notes in Computer Science

Editors: Davide Ciucci | Gabriella Pasi | Barbara Vantaggi

Abstract data types as lattices of finitely generated models

BOOK CHAPTER published in Mathematical Foundations of Computer Science 1980

Authors: M. Wirsing | M. Broy

Walsh Matrices in the Design of Industrial Experiments

BOOK CHAPTER published 2009 in Computer Aided Systems Theory - EUROCAST 2009

Authors: Claudio Moraga | Héctor Allende