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

The Ackermann Award 2009

BOOK CHAPTER published 2009 in Computer Science Logic

Authors: Johann A. Makowsky | Alexander Razborov

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

Choquet Expected Utility Representation of Preferences on Generalized Lotteries

BOOK CHAPTER published 2014 in Information Processing and Management of Uncertainty in Knowledge-Based Systems

Authors: Giulianella Coletti | Davide Petturiti | Barbara Vantaggi

Finitely Bounded Effective Computability

JOURNAL ARTICLE published March 2008 in Electronic Notes in Theoretical Computer Science

Authors: Xizhong Zheng

Coherent T-conditional Possibility Envelopes and Nonmonotonic Reasoning

BOOK CHAPTER published 2014 in Information Processing and Management of Uncertainty in Knowledge-Based Systems

Authors: Giulianella Coletti | Davide Petturiti | 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

One More Decidable Class of Finitely Ground Programs

BOOK CHAPTER published 2009 in Logic Programming

Authors: Yuliya Lierler | Vladimir Lifschitz

Counter Abstraction in the CSP/FDR setting

JOURNAL ARTICLE published September 2009 in Electronic Notes in Theoretical Computer Science

Authors: Tomasz Mazur | Gavin Lowe

A Language for Reliable Service Composition

BOOK CHAPTER published 2007 in Lecture Notes in Computer Science

Authors: Qingjun Xiao | Ruonan Rao | Jinyuan You

Finitely Generated Synchronizing Automata

BOOK CHAPTER published 2009 in Language and Automata Theory and Applications

Authors: Elena V. Pribavkina | Emanuele Rodaro

Protecting Disseminative Information in E-Learning

BOOK CHAPTER published in Lecture Notes in Computer Science

Authors: Lili Sun | Hua Wang | Yan Li

Ordering without Forbidden Patterns

BOOK CHAPTER published 2014 in Algorithms - ESA 2014

Authors: Pavol Hell | Bojan Mohar | Arash Rafiey

Central limit theorems in a finitely additive setting

JOURNAL ARTICLE published 1 March 1984 in Illinois Journal of Mathematics

Authors: S. Ramakrishnan

Finitely accessible and presentable additive categories

BOOK CHAPTER published 4 June 2009 in Purity, Spectra and Localisation

Stochastic Independence for Upper and Lower Probabilities in a Coherent Setting

BOOK CHAPTER published 2002 in Technologies for Constructing Intelligent Systems 2

Authors: Giulianella Coletti | Romano Scozzafava

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

Refinement by Interpretation in a General Setting

JOURNAL ARTICLE published December 2009 in Electronic Notes in Theoretical Computer Science

Authors: Manuel A. Martins | Alexandre Madeira | Luis S. Barbosa

Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting

JOURNAL ARTICLE published August 2009 in Electronic Notes in Theoretical Computer Science

Authors: Martín Escardó

Automated Deduction — CADE-12

BOOK published 1994 in Lecture Notes in Computer Science

Editors: Alan Bundy

Thresholded Tabulation in a Fuzzy Logic Setting

JOURNAL ARTICLE published August 2009 in Electronic Notes in Theoretical Computer Science

Authors: Pascual Julián | Jesús Medina | Ginés Moreno | Manuel Ojeda-Aciego