Automatic Tracking Logics

Automatic Tracking Logics

Bibliographic Details
Main Author:	Brown, A. M.
Published:	Open University 1971
Subjects:	005.3
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.480157

Similar Items

Agents, contexts, and logic
by: Hepple, Anthony John
Published: (2010)

Derivation of logic programs
by: Hogger, C. J.
Published: (1978)

Nonmonotonic Reasoning with Description Logics
by: Ke, Peihong
Published: (2011)

Resource Reasoning and Labelled Separation Logic
by: Raza, Mohammad
Published: (2010)

Failure logic modelling : a pragmatic approach
by: Lisagor, Oleg
Published: (2010)

Automatic product classification
by: Roberts, Paul J.
Published: (2011)

Self-Timed Logic and the Design of Self-Timed Adders
by: Padmanabhan, Balasubramanian
Published: (2010)

Automatic Image Annotation and Categorization
by: Wang, Yong
Published: (2008)

The Use of Variable Function Logic in the Design of a Learning Controller
by: Ray, S. K.
Published: (1975)

Efficient learning and evaluation of complex concepts in inductive logic programming
by: Santos, Jose Carlos Almeida Santos
Published: (2010)

Context-aware automatic service selection
by: Yu, Hong Qing
Published: (2009)

Automatic translation of scene description languages
by: Clark, D. P.
Published: (2006)

Automatic recognition of ancient Syriac handwriting
by: Fernando, Pathirajaliyanage Prem Jayalath
Published: (2005)

HEDGEHOG : automatic verification of design patterns in Java
by: Blewitt, Alex
Published: (2006)

Using proof in transformation synthesis for automatic parallelisation
by: Cook, Andrew
Published: (2001)

Automatic summarisation as pre-processing for document clustering
by: Latif, Seemab
Published: (2010)

Fusing automatically extracted annotations for the Semantic Web
by: Nikolov, Andriy
Published: (2010)

Resolution-based methods for linear-time temporal logics : with applications to formal verification
by: Ludwig, Michel
Published: (2010)

Using temporal logics to specify and verify multi-step transactions in mobile environments
by: Alshorman, Rafat
Published: (2009)

Motion tracking in low resolution imagery
by: Govinda, Vivekanand
Published: (2009)

Automatic portal generation based on XML workflow description
by: Lu, Dashan
Published: (2010)

Semi-automatic construction of dense shape and appearance models
by: Habib, Mary
Published: (2011)

Automatic approaches towards vehicle make and model recognition
by: Zafar, Iffat
Published: (2008)

Automatic aesthetic image enhancement for consumer digital photographs
by: Payne, Andrew
Published: (2007)

Application acceleration : an investigation of automatic porting methods for application accelerators
by: Beach, Thomas Henry Outram
Published: (2010)

Automatic multilevel feature abstraction in adaptable machine vision systems
by: Rose, Valerie
Published: (2010)

Triangulated Formulaic Measurement and Â·Subjective Impression in Automatic Summarisation
by: Liang, Shao Fen
Published: (2008)

Autonomous robotic helicopter platform for reliable target tracking
by: Helble, Heiko
Published: (2008)

Synthesizing fundamental frequency using models automatically trained from data
by: Dusterhoff, K. E.
Published: (2000)

Fast pose and automatic matching using hybrid method for the three dimensional face recognition
by: Hwang, June Youn
Published: (2009)

Analytic knowledge discovery techniques for ad-hoc information retrieval and automatic text summarization
by: Goyal, Pawan
Published: (2011)

Stochastic Bayesian estimation using efficient particle filters for vehicle tracking applications
by: Kravaritis, Giorgos
Published: (2006)

Hand tracking with Parametric Skin Modelling Using Particle Filter Framework for Gesture Recognition
by: Ongkittikul, Surachai
Published: (2010)

Language interoperability and logic programming languages
by: Cook, Jonathan J.
Published: (2005)

Tool support for refactoring Haskell programs
by: Brown, Christopher Mark
Published: (2008)

Type oriented parallel programming
by: Brown, Nicholas Edward
Published: (2010)

Designing in the document centred way : 'building docucentric environments'
by: Halepota, A. S. U. A. M. M.
Published: (2000)

Correctness of Data Representations
by: Malik, M. A.
Published: (1976)

Representation of knowledge for chess endgames towards a self-improving system
by: Bramer, M. A.
Published: (1977)

Theory and design techniques for stored program implementations of sequential systems
by: Hussain, Ahsan M. A.
Published: (1976)

Cannot write session to /tmp/vufind_sessions/sess_09d9126lfeol731iosi9o6f2ij