1617 search results - page 223 / 324 » Buzz-based recommender system |
FASE
2004
Springer
14 years 21 days ago
2004
Springer
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...
ESCIENCE
2006
IEEE
14 years 20 days ago
2006
IEEE
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...
ESWS
2006
Springer
14 years 20 days ago
2006
Springer
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...
AICCSA
2001
IEEE
14 years 19 days ago
2001
IEEE
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...
KBSE
2000
IEEE
14 years 17 days ago
2000
IEEE
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...