Sciweavers

7596 search results - page 308 / 1520
» Challenges in forensic computing
Sort
View
JODL
2006
64views more  JODL 2006»
15 years 4 months ago
Support for XML markup of image-based electronic editions
Image-based electronic editions enable researchers to view and study in an electronic environment historical manuscript images intricately linked to edition, transcript, glossary a...
Alex Dekhtyar, Ionut Emil Iacob, Jerzy W. Jaromczy...
TOG
2008
85views more  TOG 2008»
15 years 4 months ago
Robust treatment of simultaneous collisions
Robust treatment of complex collisions is a challenging problem in cloth simulation. Some state of the art methods resolve collisions iteratively, invoking a fail-safe when a boun...
David Harmon, Etienne Vouga, Rasmus Tamstorf, Eita...
CGF
2002
155views more  CGF 2002»
15 years 4 months ago
Improved Scene Reconstruction from Range Images
The modeling of real scenes is a complex and challenging task for which the use of laser rangefinders is one of the most promising approaches. Unfortunately, in many situations, i...
Jianning Wang, Manuel M. Oliveira
IJMSO
2010
118views more  IJMSO 2010»
15 years 3 months ago
Dependencies between ontology design parameters
: Development and use of ontologies is increasing, but hampered by new challenges, such as determining which ontologies to reuse and which language to use. Ontology development met...
C. Maria Keet
133
Voted
IFM
2010
Springer
132views Formal Methods» more  IFM 2010»
15 years 2 months ago
From Operating-System Correctness to Pervasively Verified Applications
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...
Matthias Daum, Norbert Schirmer, Mareike Schmidt