1399 search results - page 146 / 280 » Multi-party Finite Computations |
139
Voted
EUROPAR
2005
Springer
15 years 9 months ago
2005
Springer
The parallel edge-based solution of 3D incompressible Navier-Stokes equations is presented. The governing partial differential equations are discretized using the SUPG/PSPG stabili...
105
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
: Locomotion and navigation of a surface walking/climbing robot – Planar Walker, based on a novel planar 8-bar mechanism are studied. The robot moves on a surface through decoupl...
160
click to vote
CSL
2008
Springer
15 years 6 months ago
2008
Springer
Quantitative generalizations of classical languages, which assign to each word a real number instead of a boolean value, have applications in modeling resource-constrained computat...
129
click to vote
STRINGOLOGY
2008
15 years 5 months ago
2008
The class of finite Sturmian words consists of words having particularly simple compressed representation, which is a generalization of the Fibonacci recurrence for Fibonacci word...
128
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
This paper is a continuation of the study of topological properties of omega context free languages (-CFL). We proved in [Topological Properties of Omega Context Free Languages, T...