15754 search results - page 235 / 3151 » Programs are Knowledge Bases |
139
click to vote
IMECS
2007
15 years 6 months ago
2007
—In the Structuring Nanotechnology Knowledge project, a material-independent platform for supporting development of innovative nano-materials is developed. The platform is called...
144
click to vote
AAAI
2000
15 years 6 months ago
2000
Finding information is a problem shared by people and intelligent systems. This paper describes an experiment combining both human and machine aspects in a knowledgebased system t...
122
Voted
VIP
2000
15 years 6 months ago
2000
Although codified knowledge and its capture is commonplace, tacit knowledge has up until recent years proved elusive in its inclusion within the organisation's knowledge base...
121
Voted
SIGCSE
2005
ACM
15 years 10 months ago
2005
ACM
Universities are increasingly offering courses online. Feedback, assessment, and guidance are important features of this online courseware. Together, in the absence of a human tut...
127
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We present a new method for the generation of linear invariants which reduces the problem to a non-linear constraint solving problem. Our method, based on Farkas’ Lemma...