5205 search results - page 322 / 1041 » Tilings and model theory |
83
Voted
COLING
2010
14 years 7 months ago
2010
We present a new method, based on graph theory, for bilingual lexicon extraction without relying on resources with limited availability like parallel corpora. The graphs we use re...
95
Voted
ECLIPSE
2007
ACM
15 years 4 months ago
2007
ACM
Software development involves the use of many models and Eclipse provides an ideal infrastructure for building tools to support the use of models. While there is a large selection...
103
Voted
CMSB
2008
Springer
15 years 2 months ago
2008
Springer
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...
121
click to vote
FSTTCS
2009
Springer
15 years 7 months ago
2009
Springer
The paper focuses on the structure of fundamental sequences of ordinals smaller than ε0. A first result is the construction of a monadic second-order formula identifying a given ...
PLSA
1994
15 years 4 months ago
1994
Computer language paradigms offer linguistic abstractions and proof theories for expressing program implementations. Similarly, system architectures offer the hardware abstractions...