461 search results - page 73 / 93 » A Gender-Based Genetic Algorithm for the Automatic Configura... |
115
Voted
FMCAD
2004
Springer
15 years 6 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...
141
Voted
CGI
2001
IEEE
15 years 6 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...
102
Voted
TREC
2004
15 years 4 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...
105
Voted
IPAW
2010
15 years 21 days 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...
148
Voted
IJCNLP
2005
Springer
15 years 8 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...