3634 search results - page 569 / 727 » The Field Representation Language |
118
click to vote
AIM
2006
15 years 4 months ago
2006
This paper describes the virtual humans developed as part of the Mission Rehearsal Exercise project, a virtual reality-based training system. This project is an ambitious exercise...
134
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
Wikipedia is a useful source of knowledge that has many applications in language processing and knowledge representation. The Wikipedia category graph can be compared with the clas...
146
click to vote
JODS
2006
15 years 4 months ago
2006
Knowledge representation languages that combine rules with object-oriented features akin to frame systems have recently attracted a lot of research interest, and F-logic is widely ...
129
click to vote
ENTCS
2007
15 years 4 months ago
2007
The method of logical relations assigns a relational interpretation to types that expresses operational invariants satisfied by all terms of a type. The method is widely used in ...
155
click to vote
ENTCS
2007
15 years 4 months ago
2007
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...