9611 search results - page 382 / 1923 » A Note on Difference Sets |
162
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
We add labels to first-order clauses to simultaneously apply superpositions to several proof obligations inside one clause set. From a theoretical perspective, the approach unifies...
167
click to vote
ACSC
2009
IEEE
16 years 1 months ago
2009
IEEE
Numerous studies have used historical datasets to build and validate models for estimating software development effort. Very few used a chronological split (where projects’ end ...
163
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
New systems can be created by assembling a set of elementary services provided by various stakeholders in a service composition. Service composition is not a trivial endeavor and ...
199
click to vote
ADMA
2009
Springer
16 years 1 months ago
2009
Springer
The goal of multi-objective clustering (MOC) is to decompose a dataset into similar groups maximizing multiple objectives in parallel. In this paper, we provide a methodology, arch...
172
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— Most of the existing camera calibration toolboxes require the observation of a checkerboard shown by the user at different positions and orientations. This paper presents an al...