Sciweavers

18429 search results - page 377 / 3686
» Typing dynamic typing
Sort
View
TIFS
2008
159views more  TIFS 2008»
15 years 6 months ago
Chaotic-Type Features for Speech Steganalysis
We investigate the use of chaotic-type features for recorded speech steganalysis. Considering that data hiding within a speech signal distorts the chaotic properties of the origina...
Osman Hilmi Kocal, Emrah Yürüklü, I...
TOCL
2008
78views more  TOCL 2008»
15 years 6 months ago
Contextual modal type theory
Aleksandar Nanevski, Frank Pfenning, Brigitte Pien...
158
Voted
TOPLAS
2008
89views more  TOPLAS 2008»
15 years 6 months ago
Types for atomicity: Static checking and inference for Java
Cormac Flanagan, Stephen N. Freund, Marina Lifshin...