2312 search results - page 250 / 463 » Invariance in Property Testing |
128
click to vote
ACL
1998
15 years 6 months ago
1998
In machine translation and man-machine dialogue, it is important to clarify referents of noun phrases. We present a method for determining the referents of noun phrases in Japanes...
142
click to vote
UAI
1996
15 years 6 months ago
1996
Many algorithms for processing probabilistic networks are dependent on the topological properties of the problem's structure. Such algorithmse.g., clustering, conditioning ar...
156
click to vote
TEC
2002
15 years 4 months ago
2002
It is not unusual that an approximate model is needed for fitness evaluation in evolutionary computation. In this case, the convergence properties of the evolutionary algorithm are...
145
click to vote
VIS
2007
IEEE
16 years 6 months ago
2007
IEEE
Analysis of materials obtained from physical simulations is important in the physical sciences. Our research was motivated by the need to investigate the properties of a simulated...
186
click to vote
VMCAI
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...