6607 search results - page 258 / 1322 » Making TeX Work |
256
click to vote
ICFP
2009
ACM
16 years 4 months ago
2009
ACM
Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-...
258
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
We present HML, a type inference system that supports full firstclass polymorphism where few annotations are needed: only function parameters with a polymorphic type need to be an...
120
click to vote
CHI
2009
ACM
16 years 4 months ago
2009
ACM
The current surge of interest in virtual worlds suggests they are poised to make an evolutionary leap to the workplace, as instant messaging did a decade ago. In recent work we ha...
115
click to vote
EACL
2009
ACL Anthology
16 years 4 months ago
2009
ACL Anthology
Named entity recognition (NER) for English typically involves one of three gold standards: MUC, CoNLL, or BBN, all created by costly manual annotation. Recent work has used Wikipe...
135
click to vote
KDD
2003
ACM
16 years 4 months ago
2003
ACM
We present and evaluate a NIC-based network intrusion detection system. Intrusion detection at the NIC makes the system potentially tamper-proof and is naturally extensible to wor...