2020 search results - page 148 / 404 » Speeding up Slicing |
140
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
166
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Genetic algorithms have been a standard technique for engineers optimising water distribution networks for some time. However in recent years there has been an increasing...
186
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
We have developed a new tool for virtual database screening. This tool, referred to as the Generic Evolutionary Method for molecular DOCKing (GEMDOCK), combines an evolutionary app...
131
click to vote
IEAAIE
2004
Springer
15 years 11 months ago
2004
Springer
This paper proposes extending semi-supervised learning by allowing an ongoing interaction between a user and the system. The extension is intended to not only to speed up search fo...
184
Voted
IEAAIE
2004
Springer
15 years 11 months ago
2004
Springer
Learning systems have been devised as a way of overcoming the knowledge acquisition bottleneck in the development of knowledge-based systems. They often cast learning to a search p...