Search Sciweavers | Sciweavers

1399 search results - page 23 / 280

» Multi-party Finite Computations

click to vote

ICALP
2009
Springer

102views Programming Languages» more ICALP 2009»

Decidability of Conjugacy of Tree-Shifts of Finite Type

14 years 10 months ago

Download monge.univ-mlv.fr

A one-sided (resp. two-sided) shift of finite type of dimension one can be described as the set of infinite (resp. bi-infinite) sequences of consecutive edges in a finite-state aut...

Nathalie Aubrun, Marie-Pierre Béal

claim paper

Read More »

click to vote

CVPR
1998
IEEE

118views Computer Vision» more CVPR 1998»

Nonrigid Motion Analysis Based on Dynamic Refinement of Finite Element Models

14 years 12 months ago

Download marathon.csee.usf.edu

Leonid V. Tsap, Dmitry B. Goldgof, Sudeep Sarkar

claim paper

Read More »

click to vote

SAC
2009
ACM

75views Applied Computing» more SAC 2009»

Adaptive finite element methods for nonlinear inverse problems

14 years 4 months ago

Download www.math.tamu.edu

Wolfgang Bangerth, Amit Joshi

claim paper

Read More »

click to vote

SOFSEM
2007
Springer

93views Theoretical Computer Science» more SOFSEM 2007»

Model-Checking Large Finite-State Systems and Beyond

14 years 4 months ago

Download www.sofsem.cz

Lubos Brim, Mojmír Kretínský

claim paper

Read More »

click to vote

STACS
2005
Springer

110views Theoretical Computer Science» more STACS 2005»

Automorphisms of Finite Rings and Applications to Complexity of Problems

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers