8486 search results - page 330 / 1698 » Ordered Enumeration Method |
129
click to vote
NLPRS
2001
Springer
15 years 9 months ago
2001
Springer
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...
136
Voted
IRAL
2000
ACM
15 years 9 months ago
2000
ACM
We propose a method to create process flow graphs automatically from textbooks for cooking programs. This is realized by understanding context by narrowing down the domain to cook...
146
click to vote
CP
2006
Springer
15 years 8 months ago
2006
Springer
Many symmetry breaking methods have been proposed so far. Previous works have shown that these methods could be combined together under some conditions. We use a different angle :...
139
click to vote
FMCAD
2006
Springer
15 years 8 months ago
2006
Springer
In this paper we present a complete method for verifying properties expressed in the temporal logic CTL. In contrast to the majority of verification methods presented in recent yea...
138
click to vote
WSC
1997
15 years 6 months ago
1997
A central quantity in steady-state simulation is the time-average variance constant. Estimates of this quantity are needed (for example) for constructing confidence intervals, an...