461 search results - page 73 / 93 » A Gender-Based Genetic Algorithm for the Automatic Configura... |
FMCAD
2004
Springer
13 years 11 months ago
2004
Springer
The main challenge in BDD-based verification is dealing with the memory explosion problem during reachability analysis. In this paper we advocate a methodology to handle this probl...
CGI
2001
IEEE
13 years 11 months ago
2001
IEEE
Inverse kinmatics is one of the most popular method in computer graphics to control 3D multi-joint characters. In this paper, we propose an inverse kinematics algorithm that takes...
TREC
2004
13 years 9 months ago
2004
Our system for the Novelty Track at TREC 2004 looks beyond sentence boundaries as well as within sentences to identify novel, nonduplicative passages. It tries to identify text sp...
IPAW
2010
13 years 5 months ago
2010
Provenance has become an increasingly important part of documenting, verifying, and reproducing scientific research, but as users seek to extend or share results, it may be imprac...
IJCNLP
2005
Springer
14 years 1 months ago
2005
Springer
Research on linear text segmentation has been an on-going focus in NLP for the last decade, and it has great potential for a wide range of applications such as document summarizati...