5284 search results - page 918 / 1057 » Ontologizing Semantic Relations |
175
click to vote
IJCNN
2007
IEEE
16 years 22 days ago
2007
IEEE
— Serious efforts to develop computerized systems for natural language understanding and machine translation have taken place for more than half a century. Some successful system...
185
click to vote
ADC
2007
Springer
16 years 18 days ago
2007
Springer
Structured Query Language (SQL) is the dominant language for querying relational databases today, and is an essential topic in introductory database courses in higher education. E...
185
click to vote
ECML
2007
Springer
16 years 17 days ago
2007
Springer
The availability of techniques for comparing descriptions has many applications in Artificial Intelligence, ranging from description selection to flexible matching, from instance...
186
click to vote
EMSOFT
2007
Springer
16 years 17 days ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
198
click to vote
HASKELL
2005
ACM
15 years 12 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...