Sciweavers

498 search results - page 47 / 100
» Model Validation using Automatically Generated Requirements-...
Sort
View
C3S2E
2008
ACM
15 years 4 months ago
Towards a mutation-based automatic framework for evaluating code clone detection tools
In the last decade, a great many code clone detection tools have been proposed. Such a large number of tools calls for a quantitative comparison, and there have been several attem...
Chanchal Kumar Roy, James R. Cordy
DBPL
1997
Springer
133views Database» more  DBPL 1997»
15 years 6 months ago
Automatic Verification of Transactions on an Object-Oriented Database
Abstract. In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead...
David Spelt, Herman Balsters
TII
2008
109views more  TII 2008»
15 years 2 months ago
Analysis and Simulation of Jitter Sequences for Testing Serial Data Channels
This paper presents a novel modeling analysis of jitter as applicable to testing of serial data channels. Jitter is analyzed by considering separate and combined components. The pr...
Kyung Ki Kim, Jing Huang, Yong-Bin Kim, Fabrizio L...
147
Voted
BMCBI
2007
165views more  BMCBI 2007»
15 years 2 months ago
Automatic reconstruction of a bacterial regulatory network using Natural Language Processing
Background: Manual curation of biological databases, an expensive and labor-intensive process, is essential for high quality integrated data. In this paper we report the implement...
Carlos Rodríguez Penagos, Heladia Salgado, ...
IJCV
2006
171views more  IJCV 2006»
15 years 2 months ago
Combining Generative and Discriminative Models in a Framework for Articulated Pose Estimation
We develop a method for the estimation of articulated pose, such as that of the human body or the human hand, from a single (monocular) image. Pose estimation is formulated as a s...
Rómer Rosales, Stan Sclaroff