122 search results - page 24 / 25 » Weighted automata with discounting |
GECCO
2005
Springer
14 years 16 days ago
2005
Springer
Any computational approach to design, including the use of evolutionary algorithms, requires the transformation of the domain-specific knowledge into a formal design representatio...
FOSSACS
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
GLVLSI
2005
IEEE
14 years 19 days ago
2005
IEEE
Quantum-dot Cellular Automata (QCA) is a novel computing mechanism that can represent binary information based on spatial distribution of electron charge configuration in chemica...
EMNLP
2008
13 years 8 months ago
2008
We present Minimum Bayes-Risk (MBR) decoding over translation lattices that compactly encode a huge number of translation hypotheses. We describe conditions on the loss function t...
GEOINFO
2003
13 years 8 months ago
2003
One of the main challenges for the development of spatial information theory is the formalization of the concepts of space and spatial relations. Currently, most spatial data struc...