خط مشی دسترسیدرباره ما
ثبت نامثبت نام
راهنماراهنما
فارسی
ورودورود
صفحه اصلیصفحه اصلی
جستجوی مدارک
تمام متن
منابع دیجیتالی
رکورد قبلیرکورد بعدی
Document Type : Latin Dissertation
Language of Document : English
Record Number : 150263
Doc. No : ET22055
Main Entry : Fusun Yaman Sirin
Title Proper : DECLARATIVE REASONING ABOUT MOVING OBJECTS
Note : This document is digital این مدرک بصورت الکترونیکی می باشد
Abstract : There are numerous applications where there is a critical need to reason about movingobject plans under uncertainty. Previous work on spatio-temporal logics is limitedto qualitative approaches and the work on spatio-temporal databases focus on the observationsignoring the intended movements of the objects. This thesis presents a Logic ofMotion (LOM), a novel theory and algorithms that combine logic, constraint satisfactionand geometric reasoning. LOM provides a declarative syntax and model theory and formalizeshow to reason about planned movements of objects, when there is uncertainty.LOM is the first quantitative logical treatment of moving objects that can account for the...,..tested for theQ1 PC1 bus cardBoth these projects mere sofixare des elopment efforts tonards contributing to dlfferentaspects of Roboucs and lZ1echatronics projects m the Controls and Roboucs Group..
Subject : Electericl tess
: برق
electronic file name : TL45252.pdf
Title and statement of responsibility and : DECLARATIVE REASONING ABOUT MOVING OBJECTS [Thesis]
 
 
 
(در صورت عدم وضوح تصویر اینجا را کلیک نمایید)