Sciweavers

11063 search results - page 117 / 2213
» On the existence of universal models
Sort
View
COLING
2008
13 years 11 months ago
Hindi Urdu Machine Transliteration using Finite-State Transducers
Finite-state Transducers (FST) can be very efficient to implement inter-dialectal transliteration. We illustrate this on the Hindi and Urdu language pair. FSTs can also be used fo...
M. G. Abbas Malik, Christian Boitet, Pushpak Bhatt...
DT
2006
113views more  DT 2006»
13 years 10 months ago
The Challenges of Synthesizing Hardware from C-Like Languages
at their abstractions are similar to data types and operations supplied by conventional processors. A core principle of BCPL is its memory model: an The Challenges of Synthesizing ...
Stephen A. Edwards
JSYML
1998
51views more  JSYML 1998»
13 years 10 months ago
Compactness of Loeb Spaces
In this paper we show that the compactness of a Loeb space depends on its cardinality, the nonstandard universe it belongs to and the underlying model of set theory we live in. In...
Renling Jin, Saharon Shelah
SIAMCOMP
2010
96views more  SIAMCOMP 2010»
13 years 5 months ago
Quantified Equality Constraints
An equality template (also equality constraint language) is a relational structure with infinite universe whose relations can be defined by boolean combinations of equalities. We ...
Manuel Bodirsky, Hubie Chen
AGI
2011
13 years 1 months ago
An Information Theoretic Representation of Agent Dynamics as Set Intersections
We represent agents as sets of strings. Each string encodes a potential interaction with another agent or environment. We represent the total set of dynamics between two agents as ...
Samuel Epstein, Margrit Betke