8197 search results - page 1538 / 1640 » Adaptive functional programming |
153
click to vote
CP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In recent years, dynamic local search (DLS) clause weighting algorithms have emerged as the local search state-of-the-art for solving propositional satisfiability proble...
136
Voted
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
White-box testing is an important method for the early detection of errors during software development. In this process test case generation plays a crucial role, defining appropr...
158
click to vote
ISSTA
2004
ACM
15 years 11 months ago
2004
ACM
In today’s interconnected world, malware, such as worms and viruses, can cause havoc. A malware detector (commonly known as virus scanner) attempts to identify malware. In spite...
165
click to vote
CP
2004
Springer
15 years 11 months ago
2004
Springer
In real-life temporal scenarios, uncertainty and preferences are often essential, coexisting aspects. We present a formalism where temporal constraints with both preferences and un...
175
click to vote
ICFCA
2004
Springer
15 years 11 months ago
2004
Springer
Lattice diagrams, known as Hasse diagrams, have played an ever increasing role in lattice theory and fields that use lattices as a tool. Initially regarded with suspicion, they no...