3001 search results - page 133 / 601 » Recursive type generativity |
170
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
Any computational approach to design, including the use of evolutionary algorithms, requires the transformation of the domain-specific knowledge into a formal design representatio...
176
click to vote
PEPM
1999
ACM
15 years 10 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
152
Voted
EVOW
2010
Springer
16 years 1 months ago
2010
Springer
A Shinro puzzle is a type of deductive reasoning puzzle that originated in Japanese periodicals. To solve the puzzle, one must locate twelve hidden stones on an 8x8 grid using only...
127
click to vote
AUSAI
2007
Springer
16 years 10 days ago
2007
Springer
The DORIS project (Dialogue Oriented Roaming Interactive System) aims to develop a spoken dialogue module for an autonomous robotic agent. This paper examines the techniques used b...
176
Voted
ECOOP
2000
Springer
15 years 10 months ago
2000
Springer
The integration of the telephone network and the internet enables convergence of voice and data services. The explosion of information appliances also provides new service opportun...