4276 search results - page 333 / 856 » Techniques for Empirical Validation |
178
click to vote
SAT
2007
Springer
16 years 27 days ago
2007
Springer
In this paper we introduce MINIMAXSAT, a new Max-SAT solver that incorporates the best SAT and Max-SAT techniques. It can handle hard clauses (clauses of mandatory satisfaction as ...
166
click to vote
AGILEDC
2006
IEEE
16 years 26 days ago
2006
IEEE
This paper analyzes the reflections of an agile team, developing a large-scale project in an industry setting. The team uses an Iteration Summary Meeting practice, which includes ...
161
Voted
CSMR
2006
IEEE
16 years 26 days ago
2006
IEEE
It is known that well over 50% of replacement projects fail. Requirements gathering go someway to contributing to this statistic; if the requirements we gather for the new system ...
180
Voted
FGR
2006
IEEE
16 years 25 days ago
2006
IEEE
One of the major problem in face authentication systems is to deal with variations in illumination. In a realistic scenario, it is very likely that the lighting conditions of the ...
161
click to vote
ISCAS
2006
IEEE
16 years 24 days ago
2006
IEEE
— In this paper, a localization based approach of audio signal separation from binary mixtures is carried out. The audio sources are localized in the spatial domain (azimuth plan...