Sciweavers

1089 search results - page 51 / 218
» Oracle-Based Partial Evaluation
Sort
View
AMAI
2007
Springer
14 years 10 months ago
Database querying under changing preferences
We present here a formal foundation for an iterative and incremental approach to constructing and evaluating preference queries. Our main focus is query modification: a query tran...
Jan Chomicki
IJCAI
2003
14 years 11 months ago
The Traits of the Personable
Information personalization is fertile ground for application of AI techniques. In this article I relate personalization to the ability to capture partial information in an informa...
Naren Ramakrishnan
SIAMSC
2010
159views more  SIAMSC 2010»
14 years 8 months ago
Parameter and State Model Reduction for Large-Scale Statistical Inverse Problems
A greedy algorithm for the construction of a reduced model with reduction in both parameter and state is developed for efficient solution of statistical inverse problems governed b...
Chad Lieberman, Karen Willcox, Omar Ghattas
NLPRS
2001
Springer
15 years 2 months ago
Hierarchical Phrase Alignment Harmonized with Parsing
In this paper, we propose a hierarchical phrase alignment method that aims to acquire translation knowledge. Previous methods utilize the correspondence of sub-trees between bilin...
Kenji Imamura
CSFW
1997
IEEE
15 years 2 months ago
Eliminating Covert Flows with Minimum Typings
A type system is given that eliminates two kinds of covert flows in an imperative programming language. The first kind arises from nontermination and the other from partial oper...
Dennis M. Volpano, Geoffrey Smith