2542 search results - page 77 / 509 » One step ahead |
FASE
1999
Springer
14 years 1 months ago
1999
Springer
JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...
CAIP
1993
Springer
14 years 1 months ago
1993
Springer
One robust method to reconstruct shape is photometric stereo (PMS), which reconstructs surface orientation using the Lambertian reflection properties of the surface material. To i...
ASPDAC
2007
ACM
14 years 1 months ago
2007
ACM
-1 The couplings via realistic lossy substrates can be modeled as frequency-dependent coupling parameters. The fast extraction at multiple frequencies can be accomplished in two se...
CGI
2001
IEEE
14 years 23 days ago
2001
IEEE
We present a method to adaptively refine an irregular triangle mesh as it deforms in real-time. The method increases surface smoothness in regions of high deformation by splitting...
ASM
2008
ASM
13 years 11 months ago
2008
ASM
Abstract. The Mondex case study concerns the formal development and verification of an electronic purse protocol. Several groups have worked on its specification and mechanical ver...