26782 search results - page 51 / 5357 » The Importance of Importance |
TPHOL
1996
IEEE
15 years 2 months ago
1996
IEEE
Nuprl and HOL are both tactic-based interactive theorem provers for higher-order logic, and both have been used in many substantial applications over the last decade. However, the ...
IDS
1994
15 years 2 months ago
1994
In 1989, and again in 1993, panels of database researchers were surveyed about which research areas they considered promising. In both cases, the area of user interfaces was chose...
ECAL
2007
Springer
15 years 2 months ago
2007
Springer
odel of Embodiment on Abstract Systems: from Hierarchy to Heterarchy Kohei Nakajima, Soya Shinkai, Takashi Ikegami A Behavior-Based Model of the Hydra, Phylum Cnidaria Malin Aktius...
HT
2007
ACM
15 years 1 months ago
2007
ACM
This paper postulates that for the Semantic Web to grow and gain input from fields that will surely benefit it, it needs to develop an analogue that will help people not only unde...
DAGM
2006
Springer
15 years 1 months ago
2006
Springer