599 search results - page 99 / 120 » Integrating answer set programming and constraint logic prog... |
115
Voted
ISAAC
1992
Springer
15 years 7 months ago
1992
Springer
In the multilevel generalized assignment problem (MGAP) agents can perform tasks at more than one efficiency level. Important manufacturing problems, such as lot sizing, can be ea...
118
Voted
PPDP
2005
Springer
15 years 9 months ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...
129
click to vote
FUIN
2010
15 years 2 months ago
2010
Given a set of taxa S and a complete set of quartet topologies Q over S, the problem of determining a phylogeny that satisfies the maximum number of topologies is called the Maxi...
124
Voted
ISMIS
2003
Springer
15 years 8 months ago
2003
Springer
As broadband access to the Internet becomes pervasive, the need for a 24 hours a day, seven days a week (24x7) interface within the client devices, requires a level of sophisticati...
134
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...