Sciweavers

1622 search results - page 129 / 325
» Deriving Software Process Simulation Model from SPEM-based S...
Sort
View
BMCBI
2011
14 years 6 months ago
PI: An open-source software package for validation of the SEQUEST result and visualization of mass spectrum
Background: Tandem mass spectrometry (MS/MS) has emerged as the leading method for high- throughput protein identification in proteomics. Recent technological breakthroughs have d...
Yantao Qiao, Hong Zhang, Dongbo Bu, Shiwei Sun
COMPSAC
2004
IEEE
15 years 6 months ago
Implementing Hierarchical Features in a Graphically Based Formal Modelling Language
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...
Peter Henderson, Robert John Walters, Stephen Crou...
WSC
1998
15 years 4 months ago
Discrete Event Simulation Experiments and Geographic Information Systems in Congestion Management Planning
A regional transportation system and the movement of large traffic volumes through it, are characteristic of stochastic systems. The standard traffic management or transportation ...
Roy Brooks Wiley, Thomas K. Keyser
CORR
2010
Springer
103views Education» more  CORR 2010»
15 years 1 months ago
BioBlender: a Software for Intuitive Representation of Surface Properties of Biomolecules
In this and the associated article BioBlender: A Software for Intuitive Representation of Surface Properties of Biomolecules [1], we present BioBlender as a complete instrument fo...
Raluca Mihaela Andrei, Marco Callieri, Maria Franc...
3DPVT
2004
IEEE
183views Visualization» more  3DPVT 2004»
15 years 6 months ago
Projection Model, 3D Reconstruction and Rigid Motion Estimation from Non-Central Catadioptric Images
This paper addresses the problem of rigid motion estimation and 3D reconstruction in vision systems where it is possible to recover the incident light ray direction from the image...
Nuno Gonçalves, Helder Araújo