Sciweavers

6926 search results - page 155 / 1386
» A More Effective CEFF
Sort
View
MLQ
2008
67views more  MLQ 2008»
15 years 6 months ago
Classical truth in higher types
We study, from a classical point of view, how the truth of a statement about higher type functionals depends on the underlying model. The models considered are the classical set-t...
Ulrich Berger
JCAL
2000
89views more  JCAL 2000»
15 years 6 months ago
The learning value of computer-based instruction of early reading skills
This study examined the unique contribution of computer-based instruction when compared with more conventional modes of instruction (i.e. teacher instruction with textbooks) to ear...
David Mioduser, Hanna Tur-Kaspa, Irit Leitner
COLING
2010
15 years 1 months ago
A Paraphrasing System for Transforming Regular Expressions into Honorifics
Honorifics in Japanese plays an incredibly important role in all walks of social life. The demand to transform regular expressions in Japanese into honorifics automatically has in...
Dongli Han, Shuntaro Kamochi, Xin Song, Naoki Akeg...
PPSN
1998
Springer
15 years 10 months ago
Applying Diffusion to a Cooperative Coevolutionary Model
Abstract. Perhaps one the newest and of the more interesting cooperative approaches to evolutionary computation which has been more recently explored is the area of mutualism. In m...
R. Paul Wiegand
FSTTCS
2006
Springer
15 years 10 months ago
Approximation Algorithms for 2-Stage Stochastic Optimization Problems
Abstract. Stochastic optimization is a leading approach to model optimization problems in which there is uncertainty in the input data, whether from measurement noise or an inabili...
Chaitanya Swamy, David B. Shmoys