Search Sciweavers | Sciweavers

1399 search results - page 23 / 280

» Multi-party Finite Computations

169

click to vote

ICALP
2009
Springer

102views Programming Languages» more ICALP 2009»

Decidability of Conjugacy of Tree-Shifts of Finite Type

16 years 6 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 »

140

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 8 months ago

Download marathon.csee.usf.edu

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

claim paper

Read More »

106

click to vote

SAC
2009
ACM

75views Applied Computing» more SAC 2009»

Adaptive finite element methods for nonlinear inverse problems

16 years 22 days ago

Download www.math.tamu.edu

Wolfgang Bangerth, Amit Joshi

claim paper

Read More »

132

click to vote

SOFSEM
2007
Springer

93views Theoretical Computer Science» more SOFSEM 2007»

Model-Checking Large Finite-State Systems and Beyond

16 years 1 days ago

Download www.sofsem.cz

Lubos Brim, Mojmír Kretínský

claim paper

Read More »

122

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 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers