Sciweavers

3323 search results - page 557 / 665
» Computational Semantics with Functional Programming
Sort
View
EMNLP
2009
14 years 7 months ago
Consensus Training for Consensus Decoding in Machine Translation
We propose a novel objective function for discriminatively tuning log-linear machine translation models. Our objective explicitly optimizes the BLEU score of expected n-gram count...
Adam Pauls, John DeNero, Dan Klein
90
Voted
CIM
2011
171views Hardware» more  CIM 2011»
14 years 4 months ago
Towards Cognitively Plausible Game Playing Systems
We propose to return to the roots of Artificial/Computational Intelligence applicability to board games domain by attempting to mimic human way of playing (or human intelligence ...
Jacek Mandziuk
NABIC
2010
14 years 4 months ago
Evolutionary design of edge detector using rule-changing Cellular automata
A new design method for Cellular automata (CA) rules are described. We have already proposed a method for designing the transition rules of two-dimensional 256-state CA for graysca...
Shohei Sato, Hitoshi Kanoh
CORR
2010
Springer
155views Education» more  CORR 2010»
14 years 4 months ago
A Complexity View of Markets with Social Influence
: In this paper, inspired by the work of Megiddo on the formation of preferences and strategic analysis, we consider an early market model studied in the field of economic theory, ...
Xi Chen, Shang-Hua Teng
ICSE
2008
IEEE-ACM
15 years 10 months ago
A verification system for timed interval calculus
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
Chunqing Chen, Jin Song Dong, Jun Sun 0001