Sciweavers

18429 search results - page 291 / 3686
» Typing dynamic typing
Sort
View
PERCOM
2007
ACM
16 years 6 months ago
Automatic Vehicle Type Classification Using Strain Gauge Sensors
Peter Shin, Hector Jasso, Sameer Tilak, Neil Cotof...
176
Voted
DCC
2008
IEEE
16 years 6 months ago
A Lower Bound on the Redundancy of Arithmetic-Type Delay Constrained Coding
In a previous paper we derived an upper bound on the redundancy of an arithmetic-type encoder for a memoryless source, designed to meet a finite endto-end strict delay constraint....
Eado Meron, Ofer Shayevitz, Meir Feder, Ram Zamir
POPL
2010
ACM
16 years 4 months ago
Modular Verification of Security Protocol Code by Typing
Andrew D. Gordon, Cédric Fournet, Karthikey...
ALT
2001
Springer
16 years 3 months ago
Learning by Switching Type of Information
The present work is dedicated to the study of modes of data-presentation in the range between text and informant within the framework of inductive inference. In this study, the le...
Sanjay Jain, Frank Stephan
PEPM
2010
ACM
16 years 3 months ago
Corrective hints for type incorrect generic Java programs
Nabil El Boustani, Jurriaan Hage