2596 search results - page 247 / 520 » Gradual Typing for Objects |
142
click to vote
LREC
2008
15 years 6 months ago
2008
The objective of the Semiotic-based Ontology Evaluation Tool (S-OntoEval) is to evaluate and propose improvements to a given ontological model. The evaluation aims at assessing th...
130
click to vote
INTERACT
2007
15 years 6 months ago
2007
Nowadays, everyday life is becoming a multi-platform environment where people are surrounded by different types of devices through which they can connect to networks in different w...
176
click to vote
WALTD
2008
15 years 6 months ago
2008
In this paper we present research works we are addressing in EU4ALL project (IST-2006-034778) to enable Higher Education (HE) institutions to support and attend the accessibility ...
126
click to vote
BNCOD
2004
15 years 6 months ago
2004
When storing data in heterogeneous databases, one of the top-down design issues concerns the usage of multiple query languages. A common language enables querying of database schem...
140
click to vote
CIC
2004
15 years 6 months ago
2004
Abstract--The types of lexicons necessary for Transparent Intensional Logic (TIL) logical analysis will be described. We will show the algorithm for analysing the TIL verbal object...