1399 search results - page 149 / 280 » Multi-party Finite Computations |
131
Voted
CADE
2005
Springer
16 years 4 months ago
2005
Springer
Abstract. We investigate the computational behaviour of `two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator ?) that are cap...
123
Voted
SODA
2010
ACM
16 years 1 months ago
2010
ACM
We consider the problem of computing a minimumdistortion bijection between two point-sets in R2 . We prove the first non-trivial inapproximability result for this problem, for the...
131
click to vote
IMR
2005
Springer
15 years 9 months ago
2005
Springer
Today, finite element technologies allow engineers to analyze complex assemblies and subsystems. With CPU power constantly increasing, it is not unreasonable to state that the eng...
141
click to vote
IMR
2003
Springer
15 years 9 months ago
2003
Springer
This paper describes a new method for increasing the number and the volume of hexahedral and prism elements in a hexdominant mesh by topological transformations. The method takes ...
145
Voted
BMVC
2002
15 years 6 months ago
2002
A qualitative image description grammar with automatic image fitting and object modelling algorithms is presented. The grammar is based on assigning a square sub-region of an imag...