6020 search results - page 732 / 1204 » A New Approach to Model Counting |
218
click to vote
EPS
1997
Springer
15 years 11 months ago
1997
Springer
This paper describes a GA for job shop scheduling problems. Using the Giffler and Thompson algorithm, we created two new operators, THX crossover and mutation, which better trans...
162
click to vote
ER
2006
Springer
15 years 10 months ago
2006
Springer
Though new technological trends and paradigms arise for developing complex software systems, systematic reuse continues to be an elusive goal. In this context, the adoption of Comm...
206
click to vote
JAVA
2000
Springer
15 years 10 months ago
2000
Springer
We describe a new approach to object replication in Java, aimed at improving the performance of parallel programs. Our programming model allows the programmer to define groups of ...
166
click to vote
SPIEVIP
2010
15 years 9 months ago
2010
An important aspect of spectral image analysis is identification of materials present in the object or scene being imaged. Enabling technologies include image enhancement, segment...
154
Voted
AAAI
2007
15 years 9 months ago
2007
To be effective, an agent that collaborates with humans needs to be able to learn new tasks from humans they work with. This paper describes a system that learns executable task m...