16504 search results - page 3274 / 3301 » New Problems, New Solutions |
228
click to vote
SAC
2008
ACM
15 years 5 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...
191
click to vote
TASE
2008
IEEE
15 years 5 months ago
2008
IEEE
Condition monitoring and fault diagnosis in modern manufacturing automation is of great practical significance. It improves quality and productivity, and prevents damage to machine...
177
click to vote
CIKM
2010
Springer
15 years 4 months ago
2010
Springer
We consider the problem of learning to rank relevant and novel documents so as to directly maximize a performance metric called Expected Global Utility (EGU), which has several de...
167
click to vote
CIKM
2010
Springer
15 years 4 months ago
2010
Springer
: Collaborative Dual-PLSA: Mining Distinction and Commonality across Multiple Domains for Text Classification Fuzhen Zhuang, Ping Luo, Zhiyong Shen, Qing He, Yuhong Xiong, Zhon...
177
click to vote
DAGM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Atrial fibrillation is the most common sustained arrhythmia. One important treatment option is radio-frequency catheter ablation (RFCA) of the pulmonary veins attached t...