Haut PDF Reasoning with data - A new challenge for AI?
Reasoning with data - A new challenge for AI?
... deals with knowledge rather than with data (with the noticeable exception of machine ...information with a generic flavor, while “data” refers to information pertaining to ...
16
Reasoning with data - A new challenge for AI?
... deals with knowledge rather than with data (with the noticeable exception of machine ...information with a generic flavor, while “data” refers to information pertaining to ...
17
MD-JEEP: a New Release for Discretizable Distance Geometry Problems with Interval Data
... deal with instances consisting of exact distances only ...implements a coarse-grained representation for the nodes of the search tree, which makes it possible to solve instances containing interval ...
7
New stability estimates for the inverse medium problem with internal data
... WITH INTERNAL DATA MOURAD CHOULLI† AND FAOUZI TRIKI‡ Abstract. A major problem in solving multi-waves inverse problems is the presence of critical points where the collected data completely ...
19
A New Approach for Explainable Multiple Organ Annotation with Few Data
... output for an input image with 9 organs to annotate and thus 9 explanations to ...ratio for all organs of the number of correct anno- tations over the total number of ...100% for a ...
11
A framework for decision making on teleexpertise with traceability of the reasoning
... proposes a methodological framework for experience feed- back processes and in their approach they combine conceptual graphs with association rules ...in a particular ...proposes a ...
13
MSSEG Challenge Proceedings: Multiple Sclerosis Lesions Segmentation Challenge Using a Data Management and Processing Infrastructure
... is a chronic, inflammatory and de- myelinating disease that primarily a↵ects the white matter of the central nervous ...years with the goal of helping MS diagnosis and patient ...remains a ...
95
Addressing the Challenge of Distributed Interactive Simulation With Data Distribution Service
... structure for the benchmark Since DDS allows the use of different QoS levels, we need to define how these QoS levels can be ...process for QoS guarantee uses a requested/offered (RxO) ...send ...
10
Innovation Games: A new approach to the competitive challenge
... search for efficiency Products have become commodities subjected to ...develop new applications in order to meet the threat of ...sales for R&D: ...collaboration with equipment suppliers, ...
17
Tableau methods for reasoning with link keys
... use a subset of OWL 2 RL/RDF rules to derive owl:sameAs relations within the whole linked open data ...propose a different method that queries the linked open data cloud to import only the ...
33
Reasoning with Ontologies
... Relationships with database theory An important connection with relational database theory has to be pointed ...(TGDs), a high-level class of database constraints that generalize many con- straints ...
36
Reasoning on Web Data: Algorithms and Performance
... in a distributed setting; efficiently evaluating large, complex reformulated RDF queries; and automatizing to the extent possible the choice between these two techniques, based on a quantitative evaluation ...
5
Efficient Verification and New Reasoning Techniques for Concurrent Constraint Programming
... [63], a pro- cess calculus for concurrency, has much to offer. CCP is a mature linguistic for- malism from the family of process calculi and as such it treats processes like the λ-calculus ...
152
Big Data: An incoming challenge for vehicular ad-hoc networking
... is a highly dynamic topology, which is an important challenge for the underlying mechanisms and algorithms, and so, classical algorithms may be ...Big Data comes generally with the 4 V ...
6
RUBIX, A Framework for Improving Data Integration with Linked Data
... Web, new work in the area has tried to exploit Linked Data ...infer a semantic model on tabular data by getting top candidates from Wikitology [14] and classifying them with the Google ...
10
Between compensatory mutations and synthetic lethals: genetic mutations, a new challenge for tomorrow's medicine
... This new field of discovery of SL pairs provides new perspectives on cellular functions and facilitates discovery of new therapeutic ...have a function related to the target, producing ...
12
Speech data acquisition: the underestimated challenge
... non-egalitarian, with a prestigious national standard on the one hand and a local variety debased as ‘dialect’ or ‘patois’ on the other (on the distinction between egalitarian and nonegalitarian ...
42
A Framework for Reasoning on Component Composition
... choice for representing states, requests, and ...lists for requests and results is important for the efficient specification and proof of structural properties (see the design decisions in the ...
21
Uncertainty-sensitive reasoning for inferring sameAs facts in linked data
... complete data guarantee to provide sound results, i.e., a 100% ...Linked Data, data is inherently in- complete and possibly ...values for properties involved in rules con- ditions are ...
10
ALC(F) A New Description Logic for Spatial Reasoning in Images
... spatial reasoning for image ...equipped with concrete domains, a widely accepted way to integrate quantitative and qualita- tive qualities of real world objects in the conceptual domain, in ...
15