Sciweavers

19798 search results - page 298 / 3960
» Is Structural Subtyping Useful
Sort
View
IASTEDSEA
2004
15 years 4 months ago
Java bytecode verification with dynamic structures
Java applets run on a Virtual Machine that checks code's integrity and correctness before execution using a module called Bytecode Verifier. Java Card technology allows Java ...
Cinzia Bernardeschi, Luca Martini, Paolo Masci
IWEC
2004
15 years 4 months ago
From Artistry to Automation: A Structured Methodology for Procedural Content Creation
Procedural techniques will soon automate many aspects of content creation for computer games. We describe an efficient, deterministic, methodology for procedurally generating 3D ga...
Timothy Roden, Ian Parberry
IWFM
1998
136views Formal Methods» more  IWFM 1998»
15 years 4 months ago
Translating Structured Database Schemas into Abstract Machines
ing Structured Database Schemas into Abstract Machines Brian Matthews Rutherford Appleton Laboratory, Didcot, OXON, OX11 OQX, U.K. Elvira Locuratolo Istituto di Elaborazione dell&#...
Brian Matthews, Elvira Locuratolo
DAGSTUHL
1997
15 years 4 months ago
Spotting Structure in Complex Time Dependent Flow
Analyzing structure in complex time dependent flow fields is a challenging problem. This paper describes the use of spot noise for the visualization of this type of fields. Spo...
Wim C. de Leeuw, Robert van Liere
BILDMED
2009
160views Algorithms» more  BILDMED 2009»
15 years 4 months ago
A Scale-Space Approach for Image Registration of Vessel Structures
Abstract. We present a multi-scale approach for non-rigid image registration of tubular tree-like structures such as vessels. Therefore, we consider a Gaussian and a combined morph...
Stefan Heldmann, Nils Papenberg