Sciweavers

3511 search results - page 226 / 703
» Evaluation Methods for Groupware Systems
Sort
View
BMCBI
2008
160views more  BMCBI 2008»
15 years 5 months ago
Dynamic sensitivity analysis of biological systems
Background: A mathematical model to understand, predict, control, or even design a real biological system is a central theme in systems biology. A dynamic biological system is alw...
Wu Hsiung Wu, Feng Sheng Wang, Maw Shang Chang
AUSAI
2006
Springer
15 years 9 months ago
Unsupervised Measurement of Translation Quality Using Multi-engine, Bi-directional Translation
Abstract. Lay people discussing machine translation systems often perform a round trip translation, that is translating a text into a foreign language and back, to measure the qual...
Menno van Zaanen, Simon Zwarts
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
15 years 4 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
WSE
2005
IEEE
15 years 11 months ago
A Comprehensive Model for Web Sites Quality
Many of existing criteria for evaluating web sites quality require methods such as heuristic evaluations, or/and empirical usability tests. This paper aims at defining a quality m...
Oreste Signore
182
Voted
ASPLOS
2010
ACM
15 years 10 months ago
An asymmetric distributed shared memory model for heterogeneous parallel systems
Heterogeneous computing combines general purpose CPUs with accelerators to efficiently execute both sequential control-intensive and data-parallel phases of applications. Existin...
Isaac Gelado, Javier Cabezas, Nacho Navarro, John ...