1816 search results - page 270 / 364 » Formal Concepts of Learning Systems Validation in Use |
KDD
2009
ACM
15 years 4 months ago
2009
ACM
Currently, the most significant line of defense against malware is anti-virus products which focus on authenticating valid software from a white list, blocking invalid software f...
IUI
2005
ACM
15 years 5 months ago
2005
ACM
Voicemail has become an integral part of our personal and professional communication. The number of messages that accumulate in our voice mailboxes necessitate new ways of priorit...
CSREAEEE
2006
15 years 1 months ago
2006
Abstract--In distance teaching, direct feedback to the students is difficult to give, but crucial for their learning success. The system Asterix was developed in order to support t...
105
click to vote
EACL
2006
ACL Anthology
15 years 1 months ago
2006
ACL Anthology
Multimodal grammars provide an expressive formalism for multimodal integration and understanding. However, handcrafted multimodal grammars can be brittle with respect to unexpecte...
104
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for...