Sciweavers

2024 search results - page 214 / 405
» The Meaning of Ordered SOS
Sort
View
WFLP
2009
Springer
239views Algorithms» more  WFLP 2009»
16 years 1 months ago
Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation
A logic program strongly terminates if it terminates for any selection rule. Clearly, considering a particular selection rule—like Prolog’s leftmost selection rule—allows one...
Michael Leuschel, Salvador Tamarit, Germán ...
CAIP
2009
Springer
211views Image Analysis» more  CAIP 2009»
16 years 1 months ago
Contextual-Guided Bag-of-Visual-Words Model for Multi-class Object Categorization
Abstract. Bag-of-words model (BOW) is inspired by the text classification problem, where a document is represented by an unsorted set of contained words. Analogously, in the objec...
Mehdi Mirza-Mohammadi, Sergio Escalera, Petia Rade...
CIKM
2009
Springer
16 years 1 months ago
Hydra: a hybrid recommender system [cross-linked rating and content information]
This paper discusses the combination of collaborative and contentbased filtering in the context of web-based recommender systems. In particular, we link the well-known MovieLens ...
Stephan Spiegel, Jérôme Kunegis, Fang...
ECMDAFA
2009
Springer
170views Hardware» more  ECMDAFA 2009»
16 years 1 months ago
A Model Driven Approach to the Analysis of Timeliness Properties
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Ana...
ERCIMDL
2009
Springer
167views Education» more  ERCIMDL 2009»
16 years 1 months ago
Conceptual Discovery of Educational Resources through Learning Objectives
This poster reports on current work with the NSF-funded Achievement Standards Network (ASN) to support discovery of educational resources in digital libraries using conceptual grap...
Stuart A. Sutton, Diny Golder