Sciweavers

8706 search results - page 460 / 1742
» Learning Subjective Language
Sort
View
CAV
2007
Springer
164views Hardware» more  CAV 2007»
15 years 8 months ago
SAT-Based Compositional Verification Using Lazy Learning
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
Nishant Sinha, Edmund M. Clarke
142
Voted
AAAI
2010
15 years 6 months ago
Multi-Task Active Learning with Output Constraints
Many problems in information extraction, text mining, natural language processing and other fields exhibit the same property: multiple prediction tasks are related in the sense th...
Yi Zhang 0010
AAAI
1996
15 years 6 months ago
Learning to Parse Database Queries Using Inductive Logic Programming
This paper presents recent work using the Chill parser acquisition system to automate the construction of a natural-language interface for database queries. Chill treats parser ac...
John M. Zelle, Raymond J. Mooney
139
Voted
AIRS
2010
Springer
15 years 2 months ago
Semantic Relation Extraction Based on Semi-supervised Learning
Many tasks of information extraction or natural language processing have a property that the data naturally consist of several views--disjoint subsets of features. Specifically, a ...
Haibo Li, Yutaka Matsuo, Mitsuru Ishizuka
AIRS
2010
Springer
15 years 2 months ago
Tuning Machine-Learning Algorithms for Battery-Operated Portable Devices
Machine learning algorithms in various forms are now increasingly being used on a variety of portable devices, starting from cell phones to PDAs. They often form a part of standard...
Ziheng Lin, Yan Gu, Samarjit Chakraborty