2465 search results - page 134 / 493 » Automata on Linear Orderings |
CODES
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents an Integer Linear Programming (ILP) approach to the instruction-set extension identification problem. An algorithm that iteratively generates and solves a set...
ICML
2010
IEEE
13 years 10 months ago
2010
IEEE
We develop a new algorithm, based on EM, for learning the Linear Dynamical System model. Called the method of Approximated Second-Order Statistics (ASOS) our approach achieves dra...
JSYML
2010
13 years 7 months ago
2010
Let M = M, +, <, 0, S be a linear o-minimal expansion of an ordered group, and G = G, ⊕, eG an n-dimensional group definable in M. We show that if G is definably connected w...
NAACL
2010
13 years 7 months ago
2010
The use of well-nested linear context-free rewriting systems has been empirically motivated for modeling of the syntax of languages with discontinuous constituents or relatively f...
SIAMNUM
2011
13 years 4 months ago
2011
The paper presents a generalization of Arnold-Falk-Winther elements for linear elasticity, to meshes with elements of variable order. The generalization is straightforward but the ...