130 search results - page 22 / 26 » Introduction to MSR 2006 |
93
Voted
MMS
2006
15 years 3 months ago
2006
82
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
We recall the contribution of Goguen and Burstall's 1980 CAT paper and its powerful influence on theories of specification implementation that were emerging at about the same ...
316
Voted
Book
"This book is an edited collection of class handouts that was written for the graduate seminar [Programming for Medical Image Analysis] (ENAS 920a). This class was taught at Y...
135
Voted
ACL
2006
15 years 5 months ago
2006
We proposed a subword-based tagging for Chinese word segmentation to improve the existing character-based tagging. The subword-based tagging was implemented using the maximum entr...
178
Voted
JCS
1998
15 years 3 months ago
1998
A method is introducted for detecting intrusions at the level of privileged processes. Evidence is given that short sequences of system calls executed by running processes are a g...