Sciweavers

14854 search results - page 251 / 2971
» Evaluation of teleconsultation systems
Sort
View
CC
2011
Springer
283views System Software» more  CC 2011»
14 years 10 months ago
A Static Task Partitioning Approach for Heterogeneous Systems Using OpenCL
Abstract. Heterogeneous multi-core platforms are increasingly prevalent due to their perceived superior performance over homogeneous systems. The best performance, however, can onl...
Dominik Grewe, Michael F. P. O'Boyle
TSMC
2011
210views more  TSMC 2011»
15 years 1 months ago
Fault Diagnosis in Discrete-Event Systems: Incomplete Models and Learning
— Most state-based approaches to fault diagnosis of discrete-event systems require a complete and accurate model of the system to be diagnosed. In this paper, we address the prob...
Raymond H. Kwong, David L. Yonge-Mallo
BMCBI
2005
134views more  BMCBI 2005»
15 years 6 months ago
Systematic feature evaluation for gene name recognition
In task 1A of the BioCreAtIvE evaluation, systems had to be devised that recognize words and phrases forming gene or protein names in natural language sentences. We approach this ...
Jörg Hakenberg, Steffen Bickel, Conrad Plake,...
ICFEM
2010
Springer
15 years 5 months ago
Comparison of Model Checking Tools for Information Systems
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
Marc Frappier, Benoît Fraikin, Romain Chossa...
SMC
2010
IEEE
166views Control Systems» more  SMC 2010»
15 years 5 months ago
A system to recommend dishes by the real time recognition of dining activity
— Enhancement of dining environment by information technology is explored in this paper. A table system to recommend additional dishes according to the dining status is introduce...
Tomoo Inoue, Yosuke Matsusaka