1547 search results - page 190 / 310 » The Isabelle Collections Framework |
181
click to vote
MMS
2006
15 years 4 months ago
2006
This paper addresses automatic image annotation problem and its application to multi-modal image retrieval. The contribution of our work is three-fold. (1) We propose a probabilis...
129
click to vote
SIGIR
2008
ACM
15 years 4 months ago
2008
ACM
Evaluation measures act as objective functions to be optimized by information retrieval systems. Such objective functions must accurately reflect user requirements, particularly w...
137
click to vote
JSS
2007
15 years 4 months ago
2007
This paper describes an approach for generating customized benchmark suites from a software architecture description following a Model Driven Architecture (MDA) approach. The benc...
140
Voted
JTAER
2007
15 years 4 months ago
2007
Sixteen wireless case studies highlight issues relating to mobile commerce in Australia. The issues include: the need for a clear business case; difficulty of achieving critical m...
157
click to vote
ASE
2004
15 years 4 months ago
2004
TestEra is a framework for automated specification-based testing of Java programs. TestEra requires as input a Java method (in sourcecode or bytecode), a formal specification of th...