988 search results - page 154 / 198 » Pseudo-Genetic Algorithmic Composition |
CIKM
2009
Springer
14 years 5 months ago
2009
Springer
Sets of named entities are used heavily at commercial search engines such as Google, Yahoo and Bing. Acquiring sets of entities typically consists of combining semi-supervised exp...
CIKM
2009
Springer
14 years 5 months ago
2009
Springer
Collaborative Filtering, considered by many researchers as the most important technique for information filtering, has been extensively studied by both academic and industrial co...
CAV
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
SOFSEM
2007
Springer
14 years 4 months ago
2007
Springer
We investigate deterministically simulating (i.e., solving the membership problem for) nondeterministic finite automata (NFA), relying solely on the NFA’s resources (states and ...
IMSCCS
2006
IEEE
14 years 4 months ago
2006
IEEE
Background: The amplification of variable regions of immunoglobulins has become a major challenge in the cloning of antibody genes, whether from hybridoma cell lines or splenic B ...