Sciweavers

1705 search results - page 242 / 341
» Introduction to recommender systems
Sort
View
FASE
2004
Springer
15 years 2 months ago
An Operational Semantics for Stateflow
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of...
Grégoire Hamon, John M. Rushby
ESCIENCE
2006
IEEE
15 years 2 months ago
Running a Production Grid Site at the London e-Science Centre
This paper describes how the London e-Science Centre cluster MARS, a production 400+ Opteron CPU cluster, was integrated into the production Large Hadron Collider Compute Grid. It...
David McBride, Marko Krznaric, Olivier van der Aa,...
82
Voted
ESWS
2006
Springer
15 years 2 months ago
Interactive Ontology-Based User Knowledge Acquisition: A Case Study
On the Semantic Web personalization technologies are needed to deal with user diversity. Our research aims at maximising the automation of acquisition of user knowledge, thus provi...
Lora Aroyo, Ronald Denaux, Vania Dimitrova, Michae...
AICCSA
2001
IEEE
81views Hardware» more  AICCSA 2001»
15 years 2 months ago
Connectionist Approach for Website Visitors Behaviors Mining
In this paper, we propose a new version of the topological maps algorithm, which has been used to cluster web site visitors. These are characterized by partially redundant variabl...
Khalid Benabdeslem, Younès Bennani, Eric Ja...
KBSE
2000
IEEE
15 years 2 months ago
Mutation Operators for Specifications
Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge a...
Paul E. Black, Vadim Okun, Yaacov Yesha