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

Gradual Sampling and Mutual Information Maximisation for Markerless Motion Capture

BOOK CHAPTER published 2011 in Computer Vision – ACCV 2010

Authors: Yifan Lu | Lei Wang | Richard Hartley | Hongdong Li | Dan Xu

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

GARC: A New Associative Classification Approach

BOOK CHAPTER published 2006 in Data Warehousing and Knowledge Discovery

Authors: I. Bouzouita | S. Elloumi | S. Ben Yahia

Finitely additive theory

BOOK CHAPTER published 1970 in Lecture Notes in Mathematics

Authors: Flemming Topsøe

Hello World! – Experiencing Usability Methods without Usability Expertise

BOOK CHAPTER published 2009 in Human-Computer Interaction – INTERACT 2009

Authors: Elina Eriksson | Åsa Cajander | Jan Gulliksen

Conséquences métaboliques d’une pancréatectomie partielle de 50 % chez l’homme

JOURNAL ARTICLE published June 2009 in Diabetologia Notes de lecture

Authors: Clara Bouché

An Additive Reinforcement Learning

BOOK CHAPTER published 2009 in Artificial Neural Networks – ICANN 2009

Authors: Takeshi Mori | Shin Ishii

Replica Replacement Strategy Evaluation Based on Grid Locality

BOOK CHAPTER published 2009 in Lecture Notes in Computer Science

Authors: Lihua Ai | Siwei Luo

Complexity of probabilistic versus deterministic automata

BOOK CHAPTER published in Baltic Computer Science

Authors: RūsiņŠ Freivalds

Which Finitely Ambiguous Automata Recognize Finitely Sequential Functions?

BOOK CHAPTER published 2013 in Mathematical Foundations of Computer Science 2013

Authors: Sebastian Bala

Normalized Types

BOOK CHAPTER published 2001 in Computer Science Logic

Authors: Pierre Courtieu

Ordered chaining for total orderings

BOOK CHAPTER published 1994 in Automated Deduction — CADE-12

Authors: Leo Bachmair | Harald Ganzinger

Exact Computation of Coalescent Likelihood under the Infinite Sites Model

BOOK CHAPTER published 2009 in Bioinformatics Research and Applications

Authors: Yufeng Wu

Cut free formalization of logic with finitely many variables. Part I.

BOOK CHAPTER published 1995 in Computer Science Logic

Authors: L. Gordeev

Spherical Edge Detector: Application to Omnidirectional Imaging

BOOK CHAPTER published 2008 in Advanced Concepts for Intelligent Vision Systems

Authors: Stéphanie Bigot | Djemaa Kachi | Sylvain Durand

Model elimination without contrapositives

BOOK CHAPTER published 1994 in Automated Deduction — CADE-12

Authors: Peter Baumgartner | Ulrich Furbach

Decompositional Petri Net Reductions

BOOK CHAPTER published 2009 in Lecture Notes in Computer Science

Authors: Astrid Rakow

Bimodal Person Re-identification in Multi-camera System

BOOK CHAPTER published 2017 in Advanced Concepts for Intelligent Vision Systems

Authors: Hazar Mliki | Mariem Naffeti | Emna Fendri

Evaluation of a computer integrated surgical technique for percutaneous fixation of transverse acetabular fractures

BOOK CHAPTER published 1997 in Lecture Notes in Computer Science

Authors: D. M. Kahler | R. Zura

Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs

BOOK CHAPTER published 2009 in Logic Programming and Nonmonotonic Reasoning

Authors: Francesco Calimeri | Susanna Cozza | Giovambattista Ianni | Nicola Leone