Search Sciweavers | Sciweavers

1399 search results - page 23 / 280

» Multi-party Finite Computations

108

click to vote

ICALP
2009
Springer

102views Programming Languages» more ICALP 2009»

Decidability of Conjugacy of Tree-Shifts of Finite Type

16 years 3 days 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

16 years 1 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

15 years 6 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

15 years 6 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

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers