1948 search results - page 132 / 390 » Formalizing Mirror Theory |
184
click to vote
NDJFL
2010
15 years 11 days ago
2010
The question of the origin of polyadic expressivity is explored and the results are brought to bear on Bertrand Russell's 1903 theory of denoting concepts, which is the main o...
155
click to vote
KBSE
1998
IEEE
15 years 9 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
164
click to vote
HYBRID
2010
Springer
16 years 13 days ago
2010
Springer
The complexity of physical and engineering systems, both in terms of the governing physical phenomena and the number of subprocesses involved, is mirrored in ever more complex mat...
158
click to vote
CIKM
2004
Springer
15 years 11 months ago
2004
Springer
Automatically categorizing documents into pre-defined topic hierarchies or taxonomies is a crucial step in knowledge and content management. Standard machine learning techniques ...
148
click to vote
ISER
1995
Springer
15 years 9 months ago
1995
Springer
Minimalism pursues the following agenda: For a given robotics task, nd the minimal con guration of resources required to solve the task. Thus, minimalism attempts to reduce the re...