Sciweavers

358 search results - page 7 / 72
» Multihomogeneous resultant formulae for systems with scaled ...
Sort
View
ECBS
2010
IEEE
230views Hardware» more  ECBS 2010»
13 years 10 months ago
A Model-Based Regression Testing Approach for Evolving Software Systems with Flexible Tool Support
Model-based selective regression testing promises reduction in cost and labour by selecting a subset of the test suite corresponding to the modifications after system evolution. H...
Qurat-ul-ann Farooq, Muhammad Zohaib Z. Iqbal, Zaf...
ICDE
2007
IEEE
145views Database» more  ICDE 2007»
14 years 1 months ago
A Data Model for Moving Objects Supporting Aggregation
Moving objects databases (MOD) have been receiving increasing attention from the database community in recent years, mainly due to the wide variety of applications that technology...
Bart Kuijpers, Alejandro A. Vaisman
VLDB
2004
ACM
138views Database» more  VLDB 2004»
14 years 22 days ago
Towards an Internet-Scale XML Dissemination Service
Publish/subscribe systems have demonstrated the ability to scale to large numbers of users and high data rates when providing content-based data dissemination services on the Inte...
Yanlei Diao, Shariq Rizvi, Michael J. Franklin
ICALP
2001
Springer
13 years 12 months ago
Lower Bounds for the Weak Pigeonhole Principle Beyond Resolution
We work with an extension of Resolution, called Res(2), that allows clauses with conjunctions of two literals. In this system there are rules to introduce and eliminate such conju...
Albert Atserias, Maria Luisa Bonet, Juan Luis Este...
SPIEVIP
2008
13 years 9 months ago
Analysis of the general image quality equation
The general image quality equation (GIQE) [Leachtenauer et al., Appl. Opt. 36, 8322-8328 (1997)] is an empirical formula for predicting the quality of imagery from a given incoher...
Samuel T. Thurman, James R. Fienup