1302 search results - page 195 / 261 » Soundness in the Public-Key Model |
100
click to vote
CAV
2009
Springer
16 years 12 days ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
112
click to vote
MICCAI
2009
Springer
15 years 9 months ago
2009
Springer
Generating realistic geometric models from 3D segmented images is an important task in many biomedical applications. Segmented 3D images impose particular challenges for meshing a...
MM
2004
ACM
15 years 5 months ago
2004
ACM
We propose a novel technique for the automatic classification of vocal and non-vocal regions in an acoustic musical signal. Our technique uses a combination of harmonic content a...
ECOOP
2004
Springer
15 years 5 months ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
111
click to vote
HAPTICS
2010
IEEE
15 years 4 months ago
2010
IEEE
We describe a system that can provide combined auditory and haptic sensations that arise while walking on different grounds. The simulation is based on a physical model that drive...