Sciweavers

1585 search results - page 152 / 317
» Data Quality Requirements Analysis and Modeling
Sort
View
WISE
2007
Springer
15 years 10 months ago
Using Ontology with Semantic Web Services to Support Modeling in Systems Biology
Modeling in systems biology is concerned with using experimental information and mathematical methods to build quantitative models at different biological scales. This requires int...
Zhouyang Sun, Anthony Finkelstein, Jonathan Ashmor...
BMCBI
2008
140views more  BMCBI 2008»
15 years 4 months ago
FUNYBASE: a FUNgal phYlogenomic dataBASE
Background: The increasing availability of fungal genome sequences provides large numbers of proteins for evolutionary and phylogenetic analyses. However the heterogeneity of data...
Sylvain Marthey, Gabriela Aguileta, Françoi...
ISSTA
2010
ACM
15 years 6 months ago
Analysis of invariants for efficient bounded verification
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
Juan P. Galeotti, Nicolás Rosner, Carlos L&...
MSWIM
2005
ACM
15 years 10 months ago
A swarm intelligent multi-path routing for multimedia traffic over mobile ad hoc networks
In the last few years, the advance of multimedia applications has prompted researchers to undertake the task of routing multimedia data through Manet. This task is rather difficul...
Saida Ziane, Abdelhamid Mellouk
ICRA
2010
IEEE
125views Robotics» more  ICRA 2010»
15 years 2 months ago
Robust Jacobian estimation for uncalibrated visual servoing
— This paper addresses robust estimation of the uncalibrated visual-motor Jacobian for an image-based visual servoing (IBVS) system. The proposed method does not require knowledg...
Azad Shademan, Amir Massoud Farahmand, Martin J&au...