1547 search results - page 190 / 310 » The Isabelle Collections Framework |
132
Voted
MMS
2006
15 years 21 days 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...
97
Voted
SIGIR
2008
ACM
15 years 20 days 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...
99
Voted
JSS
2007
15 years 19 days 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...
111
click to vote
JTAER
2007
15 years 19 days 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...
126
Voted
ASE
2004
15 years 19 days 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...