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

A Note on Thrifty Strategies and Martingales in a Finitely Additive Setting

JOURNAL ARTICLE published December 1969 in The Annals of Mathematical Statistics

Authors: William D. Sudderth

Appendix 1 Notes and Comments

BOOK CHAPTER published 1983 in Theory of Charges - A Study of Finitely Additive Measures

Distributed Computation of Likelihood Maps for Target Tracking

BOOK CHAPTER published 2009 in Distributed Computing in Sensor Systems

Authors: Jonathan Gallagher | Randolph Moses | Emre Ertin

Decomposition Structures for Event-B

BOOK CHAPTER published 2009 in Lecture Notes in Computer Science

Authors: Michael Butler

Accelerating Image Retrieval Using Factorial Correspondence Analysis on GPU

BOOK CHAPTER published 2009 in Computer Analysis of Images and Patterns

Authors: Nguyen-Khang Pham | Annie Morin | Patrick Gros

A Cluster-Based Mobility Model for Intelligent Nodes

BOOK CHAPTER published 2009 in Computational Science and Its Applications – ICCSA 2009

Authors: Morteza Romoozi | Hamideh Babaei | Mahmood Fathy | Mojtaba Romoozi

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

JOURNAL ARTICLE published September 2009 in Diabetologia Notes de lecture

Authors: Patrice Darmon

The Multi-modal Rock-Paper-Scissors Game

BOOK CHAPTER published 2009 in Intelligent Virtual Agents

Authors: György Kovács | Csaba Makara | Attila Fazekas

Discriminative, Semantic Segmentation of Brain Tissue in MR Images

BOOK CHAPTER published 2009 in Medical Image Computing and Computer-Assisted Intervention – MICCAI 2009

Authors: Zhao Yi | Antonio Criminisi | Jamie Shotton | Andrew Blake

A Conceptual Framework for Role-Based Knowledge Profiling Using Semiotics Approach

BOOK CHAPTER published 2010 in Knowledge-Based and Intelligent Information and Engineering Systems

Authors: Nazmona Mat Ali | Kecheng Liu

Protein: A PROver with a Theory Extension INterface

BOOK CHAPTER published 1994 in Automated Deduction — CADE-12

Authors: Peter Baumgartner | Ulrich Furbach

Elf: A meta-language for deductive systems

BOOK CHAPTER published 1994 in Automated Deduction — CADE-12

Authors: Frank Pfenning

Deciding algebraic properties of finitely presented monoids

BOOK CHAPTER published 1987 in Lecture Notes in Computer Science

Local Computation of Nearly Additive Spanners

BOOK CHAPTER published 2009 in Lecture Notes in Computer Science

Authors: Bilel Derbel | Cyril Gavoille | David Peleg | Laurent Viennot

Taming the Unbounded for Hardware Synthesis

BOOK CHAPTER published 2009 in Lecture Notes in Computer Science

Authors: Byron Cook

Generating Snapshots of a Component Setting

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

Authors: Sotiris Moschoyiannis

Architecture of an Integrated Software-Hardware System for Accelerated Image Processing

BOOK CHAPTER published 2009 in Computer Vision and Graphics

Authors: Bogusław Cyganek

On almost sure convergence in a finitely additive setting

JOURNAL ARTICLE published 1977 in Zeitschrift f�r Wahrscheinlichkeitstheorie und Verwandte Gebiete

Authors: Robert Chen

A Coding Rule Conformance Checker Integrated into GCC

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

Authors: Guillem Marpons | Julio Mariño | Manuel Carro | Ángel Herranz | Lars-Åke Fredlund | Juan José Moreno-Navarro | Álvaro Polo

DELTA — A bottom-up preprocessor for top-down theorem provers

BOOK CHAPTER published 1994 in Automated Deduction — CADE-12

Authors: Johann M. Ph. Schumann