2008 search results - page 181 / 402 » Computing with Equations |
130
Voted
CONCUR
2006
Springer
15 years 6 months ago
2006
Springer
Working in the context of a process-algebraic language for Probabilistic I/O Automata (PIOA), we study the notion of PIOA behavior equivalence by obtaining a complete axiomatizatio...
121
Voted
CP
2006
Springer
15 years 6 months ago
2006
Springer
We propose a branch and prune algorithm that is able to compute inner and outer approximations of the solution set of an existentially quantified constraint where existential param...
93
Voted
EUROPAR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Embedded Runge-Kutta methods are among the most popular methods for the solution of non-stiff initial value problems of ordinary differential equations (ODEs). We investi...
109
click to vote
DAC
1995
ACM
15 years 6 months ago
1995
ACM
To save memory, layout-to-circuit extractors that use the Finite-Element Method for resistance extraction usually solve the corresponding set of equations with a frontal solution ...
SIAMAM
2008
15 years 2 months ago
2008
We describe a new class of surface flows, diffeomorphic surface flows, induced by restricting diffeomorphic flows of the ambient Euclidean space to a surface. Different from classi...