205 search results - page 18 / 41 » Testing the Equivalence of Regular Languages |
183
click to vote
SIGIR
2000
ACM
15 years 11 months ago
2000
ACM
The TREC-8 Question Answering (QA) Track was the first large-scale evaluation of domain-independent question answering systems. In addition to fostering research on the QA task, ...
156
click to vote
ACL
2000
15 years 8 months ago
2000
I describe two methods for incorporating information about the relative positions of bilingual word pairs into a Maximum Entropy/Minimum Divergence translation model. The better o...
166
click to vote
ESOP
2005
Springer
16 years 4 days ago
2005
Springer
: Fully abstract trace semantics for a core Java language. Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, ...
159
click to vote
APPROX
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Combinatorial property testing deals with the following relaxation of decision problems: Given a fixed property and an input x, one wants to decide whether x satisfies th...
159
click to vote
FORMATS
2004
Springer
16 years 1 hour ago
2004
Springer
Abstract. We extend Angluin’s algorithm for on-line learning of regular languages to the setting of timed systems. We consider systems that can be described by a class of determi...