Sciweavers

423 search results - page 55 / 85
» Specifying Strategies for Exercises
Sort
View
WWW
2007
ACM
15 years 10 months ago
Image annotation by hierarchical mapping of features
In this paper, we propose a novel approach of image annotation by constructing a hierarchical mapping between lowlevel visual features and text features utilizing the relations wi...
Qiankun Zhao, Prasenjit Mitra, C. Lee Giles
ICFP
2003
ACM
15 years 10 months ago
Compiler implementation in a formal logical framework
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present proach based on the use of higher-order abstract syntax and...
Jason Hickey, Aleksey Nogin, Adam Granicz
ICEIS
2009
IEEE
15 years 4 months ago
MIDAS: A Middleware for Information Systems with QoS Concerns
One of the most difficult tasks in the design of information systems is how to control the behaviour of the back-end storage engine, usually a relational database. As the load on t...
Luís Fernando Orleans, Geraldo Zimbrã...
ECOWS
2009
Springer
15 years 4 months ago
A Framework for the Evaluation of Semantics-Based Service Composition Approaches
—The benefits of service composition are being largely acknowledged in the literature nowadays. However, as the amount of available services increases, it becomes difficult to ...
Eduardo Silva, Luís Ferreira Pires, Marten ...
SEMWEB
2009
Springer
15 years 4 months ago
Learning Semantic Query Suggestions
An important application of semantic web technology is recognizing human-defined concepts in text. Query transformation is a strategy often used in search engines to derive querie...
Edgar Meij, Marc Bron, Laura Hollink, Bouke Huurni...