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

CSP with Hierarchical State

BOOK CHAPTER published 2009 in Lecture Notes in Computer Science

Authors: Robert Colvin | Ian J. Hayes

Chaotic Synchronization and Secure Communication Using Contraction Theory

BOOK CHAPTER published 2009 in Lecture Notes in Computer Science

Authors: Bharat Bhushan Sharma | Indra Narayan Kar

Bias in the Localization of Curved Edges

BOOK CHAPTER published 2004 in Lecture Notes in Computer Science

Authors: Paulo R. S. Mendonça | Dirk Padfield | James Miller | Matt Turek

A Simulation Model Articulation of the REA Ontology

BOOK CHAPTER published 2009 in Lecture Notes in Computer Science

Authors: Wim Laurier | Geert Poels

Self-adapting Cyclic Delay Diversity System

BOOK CHAPTER published 2009 in Rough Sets and Knowledge Technology

Authors: Aoyang Zheng | Yafeng Wang | Dacheng Yang | Wei Xiang

LeanT A P: Lean tableau-based theorem proving

BOOK CHAPTER published 1994 in Automated Deduction — CADE-12

Authors: Bernhard Beckert | Joachim Posegga

SETHEO V3.2: Recent developments

BOOK CHAPTER published 1994 in Automated Deduction — CADE-12

Authors: Chr. Goller | R. Letz | K. Mayr | J. Schumann

Maximum Likelihood Estimation Sample Consensus with Validation of Individual Correspondences

BOOK CHAPTER published 2009 in Advances in Visual Computing

Authors: Liang Zhang | Houman Rastgar | Demin Wang | André Vincent

Short CNF in finitely-valued logics

BOOK CHAPTER published 1993 in Lecture Notes in Computer Science

Authors: Reiner Hähnle

Exploring Users' Preferences in a Fuzzy Setting

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

Authors: Cynthia Vera Glodeanu

Improving the Accuracy of a Score Fusion Approach Based on Likelihood Ratio in Multimodal Biometric Systems

BOOK CHAPTER published 2009 in Image Analysis and Processing – ICIAP 2009

Authors: Emanuela Marasco | Carlo Sansone

A Language For Multiplicative-additive Linear Logic

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

Authors: J.R.B. Cockett | C.A. Pastro

Circular Reference Attributed Grammars - their Evaluation and Applications

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

Authors: Eva Magnusson | Görel Hedin

Mining Event Temporal Boundaries from News Corpora through Evolution Phase Discovery

BOOK CHAPTER published 2011 in Web-Age Information Management

Authors: Liang Kong | Rui Yan | Han Jiang | Yan Zhang | Yan Gao | Li Fu

DGTS: Integrated Typing and Pointing

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

Authors: Iman Habib | Niklas Berggren | Erik Rehn | Gustav Josefsson | Andreas Kunz | Morten Fjeld

Preface

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

Integrated Formal Methods

BOOK published 2009 in Lecture Notes in Computer Science

Editors: Michael Leuschel | Heike Wehrheim

Modelling Divergence in Relational Concurrent Refinement

BOOK CHAPTER published 2009 in Lecture Notes in Computer Science

Authors: Eerke Boiten | John Derrick

Worst Case Analysis for Pickup and Delivery Problems with Consecutive Pickups and Deliveries

BOOK CHAPTER published 2009 in Algorithms and Computation

Authors: Yoshitaka Nakao | Hiroshi Nagamochi

A finitely additive version of Poincare's recurrence theorem

BOOK CHAPTER published in Stochastic Differential Systems

Authors: H. Francke | D. Plachky | W. Thomsen