827 search results - page 166 / 166 » Constrained Classification on Structured Data |
SAC
2008
ACM
13 years 4 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
CHI
2011
ACM
12 years 9 months ago
2011
ACM
We all spend time every day looking for information in our email, yet we know little about this refinding process. Some users expend considerable preparatory effort creating compl...