4636 search results - page 652 / 928 » Modelling and Validation with VipTool |
173
click to vote
JUCS
2010
14 years 11 months ago
2010
: We develop and study the concept of dataflow process networks as used for example by Kahn to suit exact computation over data types related to real numbers, such as continuous fu...
154
click to vote
NAR
2010
14 years 11 months ago
2010
PROSESS (PROtein Structure Evaluation Suite and Server) is a web server designed to evaluate and validate protein structures generated by X-ray crystallography, NMR spectroscopy o...
157
click to vote
TIT
2010
14 years 11 months ago
2010
This paper considers recovery of jointly sparse multichannel signals from incomplete measurements. Several approaches have been developed to recover the unknown sparse vectors from...
171
click to vote
TSE
2010
14 years 11 months ago
2010
Genetic algorithms (GAs) have been applied previously to UML-driven, stress test requirements generation with the aim of increasing chances of discovering faults relating to networ...
207
click to vote
ICCV
2011
IEEE
14 years 8 months ago
2011
IEEE
Human motion capturing (HMC) from multiview image sequences constitutes an extremely difficult problem due to depth and orientation ambiguities and the high dimensionality of the s...