1021 search results - page 119 / 205 » On the generalized Navier-Stokes equations |
CADE
2007
Springer
14 years 10 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
ICFP
2007
ACM
14 years 9 months ago
2007
ACM
This paper presents an automatic deforestation system, stream fusion, based on equational transformations, that fuses a wider range of functions than existing short-cut fusion sys...
ICFP
2004
ACM
14 years 9 months ago
2004
ACM
We study a type system equipped with universal types and equirecursive types, which we refer to as F?. We show that type equality may be decided in time O(n log n), an improvement...
ICRA
2009
IEEE
14 years 4 months ago
2009
IEEE
— A recent approach to steerable needle design is based on combining pre-curved tubes concentrically. By rotating and extending the tubes with respect to each other, the position...
IROS
2009
IEEE
14 years 4 months ago
2009
IEEE
— Visual servoing schemes generally employ various image features (points, lines, moments etc.) in their control formulation. This paper presents a novel method for using boundar...