Sciweavers

3429 search results - page 482 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
SAC
2009
ACM
15 years 11 months ago
Decomposing port automata
Port automata are an operational model for component connectors in a coordination language such as Reo. They describe which sets of ports can synchronize in each state of the conn...
Christian Koehler, Dave Clarke
UM
2007
Springer
15 years 10 months ago
Cross-Domain Mediation in Collaborative Filtering
One of the main problems of collaborative filtering recommenders is the sparsity of the ratings in the users-items matrix, and its negative effect on the prediction accuracy. This ...
Shlomo Berkovsky, Tsvi Kuflik, Francesco Ricci
ECOOP
2004
Springer
15 years 9 months ago
The Expression Problem Revisited
The expression problem (aka the extensibility problem) refers to a fundamental dilemma of programming: Can your application be structured in such a way that both the data model and...
Mads Torgersen
PADL
2000
Springer
15 years 7 months ago
A Logic-Based Information System
In this article we present the University of Evora's Integrated Information System (SIIUE), which is meant to model most of the information necessary for the management and da...
Salvador Abreu
AAAI
2008
15 years 6 months ago
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams
We present a new algorithm for reasoning in the description logic SHIQ, which is the most prominent fragment of the Web Ontology Language OWL. The algorithm is based on ordered bi...
Sebastian Rudolph, Markus Krötzsch, Pascal Hi...