23036 search results - page 359 / 4608 » Sketching informal presentations |
170
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...
186
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
—As companies are increasingly exposed to a variety of information security threats, they are permanently forced to pay attention to security issues. Risk management provides an ...
171
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We study the phonetic information in the signal from an ultrasonic “microphone”, a device that emits an ultrasonic wave toward a speaker and receives the reflected, Doppler-s...
189
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Due to the curse of dimensionality, high-dimensional data is often pre-processed with some form of dimensionality reduction for the classification task. Many common methods of su...
158
click to vote
AI
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents the machine translation system known as TransLI (Translation of Legal Information) developed by the authors for automatic translation of Canadian Court judgment...