Sciweavers

3679 search results - page 217 / 736
» Answer set based design of knowledge systems
Sort
View
TKDE
2012
312views Formal Methods» more  TKDE 2012»
13 years 7 months ago
Efficient Fuzzy Type-Ahead Search in XML Data
—In a traditional keyword-search system over XML data, a user composes a keyword query, submits it to the system, and retrieves relevant answers. In the case where the user has l...
Jianhua Feng, Guoliang Li
DAC
2001
ACM
16 years 6 months ago
A2BC: Adaptive Address Bus Coding for Low Power Deep Sub-Micron Designs
Due to larger buses (length, width) and deep sub-micron effects where coupling capacitances between bus lines are in the same order of magnitude as base capacitances, power consum...
Haris Lekatsas, Jörg Henkel
127
Voted
NAACL
2007
15 years 6 months ago
Automatic Evaluation of Machine Translation Based on Rate of Accomplishment of Sub-Goals
The quality of a sentence translated by a machine translation (MT) system is difficult to evaluate. We propose a method for automatically evaluating the quality of each translati...
Kiyotaka Uchimoto, Katsunori Kotani, Yujie Zhang, ...
ESORICS
2002
Springer
16 years 4 months ago
Confidentiality Policies and Their Enforcement for Controlled Query Evaluation
Abstract. An important goal of security in information systems is confidentiality. A confidentiality policy specifies which users should be forbidden to acquire what kind of inform...
Joachim Biskup, Piero A. Bonatti
DEXA
2009
Springer
173views Database» more  DEXA 2009»
15 years 11 months ago
Incremental Ontology-Based Extraction and Alignment in Semi-structured Documents
SHIRI 1 is an ontology-based system for integration of semistructured documents related to a specific domain. The system’s purpose is to allow users to access to relevant parts ...
Mouhamadou Thiam, Nacéra Bennacer, Nathalie...