منابع مشابه
Perfect Refinement Operators can be Flexible
A (weakly) perfect ILP refinement operator was described in [1]. It’s main disadvantage however is that it is static and inflexible: for ensuring non-redundancy, some refinements of a hypothesis are disallowed in advance, regardless of the search heuristic which may recommend their immediate exploration. (Similar problems are faced by Progol and other complete and non-redundant systems). On the...
متن کاملImplementing Flexible Operators for Regular Path Queries
Given the heterogeneity of complex graph data on the web, such as RDF linked data, a user wishing to query such data may lack full knowledge of its structure and irregularities. Hence, providing users with flexible querying capabilities can be beneficial. The query language we adopt comprises conjunctions of regular path queries, thus including extensions proposed for SPARQL 1.1 to allow for qu...
متن کاملSparrow 2011
SPARROW is a stochastic local search (SLS) solver for SAT formulae in CNF format [2]. It was named after the mascot of the German city of Ulm. SPARROW2011 is a variant of SPARROW that was developed for the 2011 SAT competition. The core SPARROW2011 algorithm is identical to SPARROW; it has been re-implemented in UBCSAT [9] and a mechanism has been added to automatically select optimized paramet...
متن کاملAngry Sparrow
Instrumentalists rely on physical gestures such as plunking, bowing, hitting, and blowing air into their instruments in order to produce sound; among tremendous number of human gestures, the body movements employed by musical performers are limited. This compositional project began with the idea of extending the relationship between human gestures and sound by electronic means. From that germin...
متن کاملOn Tuning OWA Operators in a Flexible Querying Interface
The use of the Yager’s OWA operators within a flexible querying interface is discussed. The key issue is the adaptation of an OWA operator to the specifics of a user’s query. Some well-known approaches to the manipulation of the weights vector are reconsidered and a new one is proposed that is simple and efficient.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Research in Engineering and Technology
سال: 2014
ISSN: 2321-7308,2319-1163
DOI: 10.15623/ijret.2014.0329007