4255 search results - page 535 / 851 » Database: Models, Languages, Design |
164
click to vote
KCAP
2005
ACM
16 years 10 days ago
2005
ACM
For decades, researchers in knowledge representation (KR) have argued for and against various choices in KR formalisms, such as Rules, Frames, Semantic nets, and Formal logic. In ...
185
click to vote
KCAP
2003
ACM
16 years 22 hour ago
2003
ACM
Modularity is a key requirement for large ontologies in order to achieve re-use, maintainability, and evolution. Mechanisms for ‘normalisation’ to achieve analogous aims are s...
196
click to vote
LPAR
2001
Springer
15 years 11 months ago
2001
Springer
The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics ...
175
click to vote
DOA
2000
15 years 8 months ago
2000
XML has emerged as the universal standard for exchanging and externalizing data. Software products of all kinds are being upgraded to "support XML." Typically this means...
165
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Educational media mining is the process of converting raw media data from educational systems to useful information that can be used to design learning systems, answer research qu...