Sciweavers

747 search results - page 54 / 150
» An Alternative Representation for QBF
Sort
View
NAACL
2003
15 years 3 months ago
Syntax-based Alignment of Multiple Translations: Extracting Paraphrases and Generating New Sentences
We describe a syntax-based algorithm that automatically builds Finite State Automata (word lattices) from semantically equivalent translation sets. These FSAs are good representat...
Bo Pang, Kevin Knight, Daniel Marcu
AAAI
1990
15 years 3 months ago
An Algebraic Approach to Conflict Resolution in Planning
This paper presents an algebra for conflict resolution in nonlinear planning. A set of conflicts in a plan is considered as a constraint network. Each node in the network represen...
Qiang Yang
CORR
2007
Springer
105views Education» more  CORR 2007»
15 years 1 months ago
Finding low-weight polynomial multiples using discrete logarithm
— Finding low-weight multiples of a binary polynomial is a difficult problem arising in the context of stream ciphers cryptanalysis. The best algorithms to solve this problem ar...
Frédéric Didier, Yann Laigle-Chapuy
IR
2000
15 years 1 months ago
Incorporating Aspects of Information Use into Relevance Feedback
In this paper we look at some of the problems in interacting with best-match retrieval systems. In particular, we examine the areas of interaction, some investigations of the compl...
Ian Ruthven
PRL
1998
108views more  PRL 1998»
15 years 1 months ago
Determining local natural scales of curves
An alternative to representing curves at a single scale or a fixed number of multiple scales is to represent them only at their natural (i.e. most significant) scales. This allo...
Paul L. Rosin