Sciweavers

2552 search results - page 372 / 511
» Development of an evaluation model for Question Answering Sy...
Sort
View
ICSR
2004
Springer
15 years 11 months ago
Validating Quality of Service for Reusable Software Via Model-Integrated Distributed Continuous Quality Assurance
Quality assurance (QA) tasks, such as testing, profiling, and performance evaluation, have historically been done in-house on developer-generated workloads and regression suites. ...
Arvind S. Krishna, Douglas C. Schmidt, Atif M. Mem...
ICCV
2009
IEEE
15 years 3 months ago
Modeling 3D human poses from uncalibrated monocular images
This paper introduces an efficient algorithm that reconstructs 3D human poses as well as camera parameters from a small number of 2D point correspondences obtained from uncalibrat...
Xiaolin K. Wei, Jinxiang Chai
SIGMOD
2004
ACM
198views Database» more  SIGMOD 2004»
16 years 6 months ago
Secure XML Querying with Security Views
The prevalent use of XML highlights the need for a generic, flexible access-control mechanism for XML documents that supports efficient and secure query access, without revealing ...
Wenfei Fan, Chee Yong Chan, Minos N. Garofalakis
QEST
2006
IEEE
15 years 12 months ago
UPPAAL 4.0
— UPPAAL 4.0 is the result of over two and a half years of development and contains many new features, additions to the modeling language, performance improvements, enhancements ...
Gerd Behrmann, Alexandre David, Kim Guldstrand Lar...
222
Voted
FMCO
2009
Springer
203views Formal Methods» more  FMCO 2009»
15 years 3 months ago
Applying Event-B Atomicity Decomposition to a Multi Media Protocol
Abstract. Atomicity Decomposition is a technique in the Event-B formal method, which augments Event-B refinement with additional structuring in a diagrammatic notation to support c...
Asieh Salehi Fathabadi, Michael Butler