2291 search results - page 205 / 459 » Representational Reasoning and Verification |
200
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
We present an internal language with equivalent expressive power to Standard ML, and discuss its formalization in LF and the machine-checked verification of its type safety in Twe...
121
click to vote
OOPSLA
2005
Springer
15 years 6 months ago
2005
Springer
In this paper we describe AutAT, an open source Eclipse plugin to better enable test driven development of web applications. AutAT lets non-technical people write acceptance tests...
ISCAS
2003
IEEE
15 years 6 months ago
2003
IEEE
We propose a new channel compensation method for modulation spectral features. We compare our proposed method, subband normalization, with a more traditional method, cepstral mean...
112
click to vote
SAINT
2003
IEEE
15 years 6 months ago
2003
IEEE
A public key infrastructure is generally (and effectively) used for cryptographically secure authentication in the networks. Ad-hoc networks are formed in haphazard manner. Securi...
MIR
2003
ACM
15 years 6 months ago
2003
ACM
To manage the massive growth of sport videos, we need to summarize the contents into a more compact and interesting representation. Unlike previous work which summarized either hi...