3690 search results - page 425 / 738 » Computation with classical sequents |
166
click to vote
PODC
1997
ACM
15 years 11 months ago
1997
ACM
Conditions on a shared object type T are given that are both necessary and sufficient for wait-free n-process consensus to be solvable using objects of type T and registers. The co...
187
click to vote
VRML
1997
ACM
15 years 11 months ago
1997
ACM
Collision detection is essential for many applications involving simulation, behavior and animation. However, it has been regarded as a computationallydemanding task and is often ...
273
click to vote
ISSAC
1997
Springer
15 years 11 months ago
1997
Springer
Gaussian elimination is the basis for classical algorithms for computing canonical forms of integer matrices. Experimental results have shown that integer Gaussian elimination may...
175
click to vote
CONEXT
2007
ACM
15 years 10 months ago
2007
ACM
Portable devices have more data storage and increasing communication capabilities everyday. In addition to classic infrastructure based communication, these devices can exploit hu...
193
click to vote
DCOSS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We consider the problem of estimating vector-valued variables from noisy "relative" measurements. The measurement model can be expressed in terms of a graph, wh...