581 search results - page 41 / 117 » formats 2006 |
COMSIS
2006
13 years 7 months ago
2006
Traditional knowledge representations were developed to encode complete, explicit and executable programs, a goal that makes them less than ideal for representing the incomplete an...
HIJ
2006
13 years 7 months ago
2006
As the number of medical web sites in various languages increases, it is increasingly necessary to establish specific criteria and control measures that give consumers some guaran...
IANDC
2006
13 years 7 months ago
2006
Interactive theorem provers require too much effort from their users. We have been developing a system in which Isabelle users obtain automatic support from automatic theorem prov...
IJET
2006
13 years 7 months ago
2006
: The challenge of the semantic web is the provision of distributed information with well defined meaning, understandable for different parties. Particularly, applications should b...
IJMSO
2006
13 years 7 months ago
2006
: This paper reports on the automatic metadata generation applications (AMeGA) project's metadata expert survey. Automatic metadata generation research is reviewed and the stu...