31 search results - page 6 / 7 » Automatic Generation of English-language Steps in Puzzle Sol... |
SMI
2007
IEEE
14 years 22 hour ago
2007
IEEE
We present two complementary methods for automatically improving mesh parameterizations and demonstrate that they provide a very desirable combination of efficiency and quality. ...
GECCO
2007
Springer
13 years 12 months ago
2007
Springer
Generating a random sampling of program trees with specified function and terminal sets is the initial step of many program evolution systems. I present a theoretical and experim...
CAV
2003
Springer
13 years 11 months ago
2003
Springer
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...
INAP
2001
Springer
13 years 10 months ago
2001
Springer
Abstract. In requirements engineering use cases are employed to describe the ow of events and the occurrence of states in a future information system. Use cases consist of a set of...
SIGUCCS
2000
ACM
13 years 10 months ago
2000
ACM
As colleges and universities are moving into the realm of providing Internet connections to the residence dormitories (ResNet), the local help desk is becoming the focal point for...