2071 search results - page 175 / 415 » An Empirical Evaluation of LFG-DOP |
106
click to vote
SAT
2007
Springer
15 years 7 months 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 ...
104
click to vote
XPU
2007
Springer
15 years 7 months ago
2007
Springer
The current agile software development methods do not seem to address usability and interaction design issues enough, i.e., the interaction design process may remain implicit. Howe...
CSMR
2006
IEEE
15 years 7 months 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 ...
134
click to vote
ECRTS
2006
IEEE
15 years 7 months ago
2006
IEEE
Developing distributed real-time and embedded (DRE) systems in which multiple quality-of-service (QoS) dimensions must be managed is an important and challenging problem. This pap...
ICDM
2006
IEEE
15 years 7 months ago
2006
IEEE
The ultimate goal of data mining is to extract knowledge from massive data. Knowledge is ideally represented as human-comprehensible patterns from which end-users can gain intuiti...