Sciweavers

914 search results - page 57 / 183
» Mean Shift Analysis and Applications
Sort
View
CARDIS
2008
Springer
119views Hardware» more  CARDIS 2008»
13 years 11 months ago
Static Program Analysis for Java Card Applets
The Java Card API provides a framework of classes and interfaces that hides the details of the underlying smart card interface, thus relieving developers from going through the swa...
Vasilios Almaliotis, Alexandros Loizidis, Panagiot...
SIMVIS
2004
13 years 10 months ago
Virtual Resection with a Deformable Cutting Plane
We describe methods for the specification and modification of virtual resections in medical volume data. These techniques are focused on applications in therapy planning, but are a...
Olaf Konrad-Verse, Arne Littmann, Bernhard Preim
APVIS
2011
12 years 9 months ago
Loose capacity-constrained representatives for the qualitative visual analysis in molecular dynamics
Molecular dynamics is a widely used simulation technique to investigate material properties and structural changes under external forces. The availability of more powerful cluster...
Steffen Frey, Thomas Schlömer, Sebastian Grot...
PEPM
1993
ACM
14 years 1 months ago
The Correctness of an Optimized Code Generation
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
Torben Poort Lange
SOQUA
2004
13 years 10 months ago
Test Oracles Using Statistical Methods
Abstract: The oracle problem is addressed for random testing and testing of randomized software. The presented Statistical Oracle is a Heuristic Oracle using statistical methods, e...
Johannes Mayer, Ralph Guderlei