Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
226
Tractable reasoning and efficient query answering in description logics: The DL-Lite family
- J. OF AUTOMATED REASONING
, 2007
"... We propose a new family of Description Logics (DLs), called DL-Lite, specifically tailored to capture basic ontology languages, while keeping low complexity of reasoning. Reasoning here means not only computing subsumption between concepts, and checking satisfiability of the whole knowledge base, b ..."
Abstract
-
Cited by 497 (123 self)
- Add to MetaCart
We propose a new family of Description Logics (DLs), called DL-Lite, specifically tailored to capture basic ontology languages, while keeping low complexity of reasoning. Reasoning here means not only computing subsumption between concepts, and checking satisfiability of the whole knowledge base
Objective: To evaluate the analytical performance and clinical accuracy of the FreeStyle ® Lite Blood
"... Method: Clinical accuracy for fingertip capillary blood testing was assessed at three diabetes clinics with three lots of FreeStyle Lite test strips. At the same clinics, lay user performance and alternative site testing (on forearm, upper arm, palm thenar, palm hypothenar, back of the hand, calf an ..."
Abstract
- Add to MetaCart
and thigh) were also evaluated. FreeStyle Lite system results in these studies were compared to the plasma equivalent glucose values of the fingertip blood samples measured by the YSI Glucose An-alyzer. Subjects participating in the user performance study rated the ease of use of the FreeStyle Lite system
Customization Lite
, 1997
"... There has been a great deal of interest in recent years in developing operating systems that can be customized to meet the performance and functionality needs of particular applications while being extensible to support new policies, new implementations and new interfaces. We describe a structuring ..."
Abstract
-
Cited by 13 (9 self)
- Add to MetaCart
technique, called building-block composition, that we are employing for this purpose. The customizability this technique provides to untrusted applications is, while large, less than that provided by some other techniques. However, it results in a more extensible and maintainable system, is easier
Lite-GISTexter at DUC 2005
- In Proceedings of the Document Understanding Workshop (DUC-2005
, 2005
"... This paper describes how Language Computer Corporation’s Lite-GISTexter multi-document summarization system addresses the challenge of providing summary-length answers to the types of complex questions asked in DUC 2005. We show that techniques first used in the automatic answering of “relationship ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
This paper describes how Language Computer Corporation’s Lite-GISTexter multi-document summarization system addresses the challenge of providing summary-length answers to the types of complex questions asked in DUC 2005. We show that techniques first used in the automatic answering of “relationship
VirtuaLites: concepts and numerical testing results
"... Abstract. The increasing use of GPS and data integration technologies in agricultural operations has led to large gains in operational e‰ciencies. This paper presents a new method to bridge periods when the number of visible GPS satellites falls below the minimum required to provide a navigation sol ..."
Abstract
- Add to MetaCart
solution by utilising an external positioning system. This can be an additional dead reckoning INS system or any other system that can provide an approximate position solution for the vehicle which can be improved through the processing of data from the available GPS satellites. Keywords. Lite.
Freestyle vs. Boolean: A comparison of partial and exact match retrieval systems
- Information Processing & Management
, 1998
"... Abstract--Although Boolean searching has been the standard model for commercial information retrieval systems for the past three decades, natural language input and partial-match weighted retrieval have recently emerged from the laboratories to become a searching option in several well-known online ..."
Abstract
-
Cited by 5 (0 self)
- Add to MetaCart
systems. The purpose of this investigation is to compare the performance of one of these partial match options, LEXIS/NEXIS's Freestyle, with that of traditional Boolean retrieval. To create a context for the investigation, the definition of natural language and the natural language search engines
W.m.W.: CUDA-Lite: Reducing GPU programming complexity
- In: LCPC’08. Volume 5335 of LNCS
, 2008
"... Abstract. The computer industry has transitioned into multi-core and many-core parallel systems. The CUDA programming environment from NVIDIA is an attempt to make programming many-core GPUs more accessible to programmers. However, there are still many burdens placed upon the programmer to maximize ..."
Abstract
-
Cited by 62 (0 self)
- Add to MetaCart
memories is still left to the programmer. We believe that this task can be better performed by automated tools. We present CUDA-lite, an enhancement to CUDA, as one such tool. We leverage programmer knowledge via annotations to perform transformations and show preliminary results that indicate auto
The AXES-lite video search engine
- In Proceedings of WIAMIS 2012
, 2012
"... The aim of AXES is to develop tools that provide various types of users with new engaging ways to interact with audiovisual libraries, helping them discover, browse, navigate, search, and enrich archives. This paper describes the initial (lite) version of the AXES search engine, which is targeted at ..."
Abstract
-
Cited by 4 (3 self)
- Add to MetaCart
at professional users such as media professionals and archivists. We describe the overall system design, the user interface, and the results of our experiments at TRECVid 2011. 1.
High performance query answering over dl-lite ontologies
, 2012
"... Current techniques for query answering over DL-Lite ontologies have severe limitations in practice, since they either produce complex queries that are inefficient during execution, or require expensive data pre-processing. In light of this, we present two complementary sets of results that aim at im ..."
Abstract
-
Cited by 50 (7 self)
- Add to MetaCart
by means of dependencies, and how to use these and equivalence to optimize DL-Lite TBoxes. These results allow us to reduce the cost of query rewriting, often dramatically, and to generate highly efficient queries. We have implemented a novel system for query answering over DL-Lite ontologies
OntoMerge: A System for Merging DL-Lite
"... Abstract. Merging multi-sourced ontologies in a consistent manner is an important and challenging research topic. In this paper, we propose a novel approach for merging DL-Lite N bool ontologies by adapting the classical model-based belief merging approach, where the minimality of changes is realise ..."
Abstract
- Add to MetaCart
is realised via a semantic notion, model distance. Instead of using classical DL models, which may be infinite structures in general, we define our merging operator based on a new semantic characterisation for DL-Lite. We show that subclass relation w.r.t. the result of merging can be checked efficiently via
Results 1 - 10
of
226
