Sciweavers

14709 search results - page 2372 / 2942
» Semantic feature modelling
Sort
View
203
Voted
AI
2011
Springer
15 years 2 months ago
First-order logical filtering
Logical filtering is the process of updating a belief state (set of possible world states) after a sequence of executed actions and perceived observations. In general, it is intr...
Afsaneh Shirazi, Eyal Amir
CORR
2011
Springer
160views Education» more  CORR 2011»
15 years 2 months ago
Provenance for Aggregate Queries
We study in this paper provenance information for queries with aggregation. Provenance information was studied in the context of various query languages that do not allow for aggr...
Yael Amsterdamer, Daniel Deutch, Val Tannen
CORR
2011
Springer
175views Education» more  CORR 2011»
15 years 2 months ago
A Novel Probabilistic Pruning Approach to Speed Up Similarity Queries in Uncertain Databases
Abstract— In this paper, we propose a novel, effective and efficient probabilistic pruning criterion for probabilistic similarity queries on uncertain data. Our approach support...
Thomas Bernecker, Tobias Emrich, Hans-Peter Kriege...
COLING
2010
15 years 2 months ago
YanFa: An Online Automatic Scoring and Intelligent Feedback System of Student English-Chinese Translation
Online learning calls for instant assessment and feedback. YanFa is a system developed to score online EnglishChinese translation exercises with intelligent feedback for Chinese n...
Yan Tian
214
Voted
NFM
2011
223views Formal Methods» more  NFM 2011»
15 years 2 months ago
Generating Data Race Witnesses by an SMT-Based Analysis
Abstract. Data race is one of the most dangerous errors in multithreaded programming, and despite intensive studies, it remains a notorious cause of failures in concurrent systems....
Mahmoud Said, Chao Wang, Zijiang Yang, Karem Sakal...
« Prev « First page 2372 / 2942 Last » Next »