Objects, Events, and Property-Instances

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

MediaMill at TRECVID 2014: Searching Concepts, Objects, Instances and Events in Video

In this paper we summarize our TRECVID 2014 [12] video retrieval experiments. The MediaMill team participated in five tasks: concept detection, object localization, instance search, event recognition and recounting. We experimented with concept detection using deep learning and color difference coding [17], object localization using FLAIR [23], instance search by one example [19], event recogni...

متن کامل

Events in Property Patterns

A pattern-based approach to the presentation, codification and reuse of property specifications for finite-state verification was proposed by Dwyer and his colleagues in [4,3]. The patterns enable nonexperts to read and write formal specifications for realistic systems and facilitate easy conversion of specifications between formalisms, such as LTL, CTL, QRE. In this paper we extend the pattern...

متن کامل

Events in Property Patterns

A pattern-based approach to the presentation, codi cation and reuse of property speci cations for nite-state veri cation was proposed by Dwyer and his colleagues in [4,3]. The patterns enable nonexperts to read and write formal speci cations for realistic systems and facilitate easy conversion of speci cations between formalisms, such as LTL, CTL, QRE. In this paper we extend the pattern system...

متن کامل

Mapping to Objects and Events

(3) a. Argument Selection Principle In predicates with grammatical subject and object, the argument for which the predicate entails the greatest number of Proto-Agent properties will be lexicalized as the subject of the predicate; the argument having the greatest number of ProtoPatient properties will be lexicalized as the direct object. b. Corollary 1 If two arguments of a relation have (appro...

متن کامل

Spatially-referenced Legal Property Objects

Delivering sustainable development requires effective management of social, environmental and economic aspects of land. Historically, land administration systems have contributed to this by recording and organising interests in land, primarily through land registration, land mapping, land valuation and land development subsystems. Unfortunately these subsystems have established diversified serv...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Baltic International Yearbook of Cognition, Logic and Communication

سال: 2019

ISSN: 1944-3676

DOI: 10.4148/1944-3676.1121