660 search results - page 36 / 132 » The Implicit Calculus of Constructions |
BNCOD
1997
13 years 11 months ago
1997
With the substantial change of declarative query languages from plain SQL to the so-called \object SQLs", in particular OQL, there has surprisingly been not much change in the...
FUIN
2006
13 years 10 months ago
2006
Abstract. Region Connection Calculus (RCC) is one primary formalism of qualitative spatial reasoning. Standard RCC models are continuous ones where each region is infinitely divisi...
LREC
2008
13 years 11 months ago
2008
In human translation, translators first make draft translations and then modify and edit them. In the case of experienced translators, this process involves the use of wide-rangin...
IJCAT
2010
13 years 8 months ago
2010
Abstract: This paper presents a method for semi-automatically building tailored application ontologies from a set of data acquisition forms. Such ontologies are intended to facilit...
GCC
2005
Springer
14 years 3 months ago
2005
Springer
Combination of prior knowledge and implicit knowledge hidden in the data of system can enhance the quality of information services in Knowledge Grid. Fuzzy Cognitive Maps (FCMs) ar...