2013 search results - page 333 / 403 » Happy New Year |
158
click to vote
CCS
2007
ACM
16 years 11 days ago
2007
ACM
In recent years, web applications have become tremendously popular, and nowadays they are routinely used in security-critical environments, such as medical, financial, and milita...
149
click to vote
CIKM
2007
Springer
16 years 11 days ago
2007
Springer
Emails are one of the most commonly used modern communication media these days; however, unsolicited emails obstruct this otherwise fast and convenient technology for information ...
155
click to vote
CLEAR
2007
Springer
16 years 11 days ago
2007
Springer
The paper describes the IBM systems submitted to the NIST Rich Transcription 2007 (RT07) evaluation campaign for the speechto-text (STT) and speaker-attributed speech-to-text (SAST...
180
click to vote
CSL
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...
143
click to vote
ECTEL
2007
Springer
16 years 11 days ago
2007
Springer
The changing nature of e-Learning, the Web, and its users that can be observed in the last years results in a need for new approaches and technologies to fully exploit the existing...