4103 search results - page 210 / 821 » Some results on the Collatz problem |
197
click to vote
ILC
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
139
click to vote
CSR
2007
Springer
16 years 26 days ago
2007
Springer
Abstract It has recently been proved (Je˙z, DLT 2007) that conjunctive grammars (that is, context-free grammars augmented by conjunction) generate some nonregular languages over a...
193
click to vote
PARA
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We consider parallel preconditioning schemes to accelerate the convergence of Conjugate Gradients (CG) for sparse linear system solution. We develop methods for construct...
170
click to vote
ISMAR
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper addresses the registration problem for unprepared multi-planar scenes. An interactive process is proposed to get accurate results using nothing else than the texture in...
143
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
IC inductance extraction generally produces either port inductances based on simplified current path assumptions or a complete partial inductance matrix. Combining either of thes...