Sciweavers

7055 search results - page 356 / 1411
» Some New 4-Designs
Sort
View
168
Voted
ICMT
2009
Springer
16 years 1 months ago
Bidirectional Transformations: A Cross-Discipline Perspective
Abstract. The GRACE International Meeting on Bidirectional Transformations was held in December 2008 near Tokyo, Japan. The meeting brought together researchers and practitioners f...
Krzysztof Czarnecki, J. Nathan Foster, Zhenjiang H...
193
Voted
ISMIS
2009
Springer
16 years 1 months ago
A General Framework for Revising Belief Bases Using Qualitative Jeffrey's Rule
Intelligent agents require methods to revise their epistemic state as they acquire new information. Jeffrey’s rule, which extends conditioning to uncertain inputs, is used to re...
Salem Benferhat, Didier Dubois, Henri Prade, Mary-...
ISSAC
2009
Springer
167views Mathematics» more  ISSAC 2009»
16 years 1 months ago
High order derivatives and decomposition of multivariate polynomials
In this paper, we present an improved method for decomposing multivariate polynomials. This problem, also known as the Functional Decomposition Problem (FDP) [17, 9, 27], is class...
Jean-Charles Faugère, Ludovic Perret
OSS
2009
Springer
16 years 1 months ago
Heartbeat: Measuring Active User Base and Potential User Interest in FLOSS Projects
This paper presents a novel method and algorithm to measure the size of an open source project’s user base and the level of potential user interest that it generates. Previously ...
Andrea Wiggins, James Howison, Kevin Crowston
CSSE
2008
IEEE
16 years 1 months ago
Lean Implementations of Software Testing Tools Using XML Representations of Source Codes
—By utilizing XML representations of source programs under test, a new approach is proposed to concisely implement some prototypes for TACCLE, a software testing methodology. The...
Yu Xia Sun, Huo Yan Chen, T. H. Tse