Sciweavers

45 search results - page 5 / 9
» Towards automated test and validation of SIP solutions
Sort
View
ECCB
2008
IEEE
15 years 4 days ago
Towards de novo identification of metabolites by analyzing tandem mass spectra
Abstract. Mass spectrometry is among the most widely used technologies in proteomics and metabolomics. For metabolites, de novo interpretation of spectra is even more important tha...
Sebastian Böcker, Florian Rasche
ICST
2008
IEEE
15 years 4 months ago
Model-Based Testing of Automotive Systems
In recent years the development of automotive embedded devices has changed from an electrical and mechanical engineering discipline to a combination of software and electrical/mec...
Eckard Bringmann, Andreas Krämer
PROCEDIA
2010
344views more  PROCEDIA 2010»
14 years 8 months ago
Towards high-quality, untangled meshes via a force-directed graph embedding approach
High quality meshes are crucial for the solution of partial differential equations (PDEs) via the finite element method (or other PDE solvers). The accuracy of the PDE solution,...
Sanjukta Bhowmick, Suzanne M. Shontz
IADIS
2004
14 years 11 months ago
A client-server framework for E-learning and examination
This paper describes a framework that aims to give a help both for people who organize examination and for students who want to self test their own knowledge level. The two aspect...
Marco Aguzzi, Maria Grazia Albanesi
TSD
2004
Springer
15 years 3 months ago
Rapid Dialogue Prototyping Methodology
This paper is about the automated production of dialogue models. The goal is to propose and validate a methodology that allows the production of finalized dialogue models (i.e. di...
Trung H. Bui, Martin Rajman, Miroslav Melichar