155 search results - page 7 / 31 » Formal semantics and analysis of object queries |
IEAAIE
1999
Springer
13 years 11 months ago
1999
Springer
This paper presents a strategy to handle incomplete knowledge during acquisition process. The goal of this research is to develop formal tools that benefit the law of semantic bala...
CIVR
2006
Springer
13 years 11 months ago
2006
Springer
A combination of query-by-visual-example (QBVE) and semantic retrieval (SR), denoted as query-by-semantic-example (QBSE), is proposed. Images are labeled with respect to a vocabula...
JUCS
2010
13 years 2 months ago
2010
: We develop and study the concept of dataflow process networks as used for example by Kahn to suit exact computation over data types related to real numbers, such as continuous fu...
ICFCA
2004
Springer
14 years 22 days ago
2004
Springer
Traditional logic can be understood as the investigation of the three main essential functions of thinking – concepts, judgements and conclusions. In the last years, in a new res...
ROOM
2000
13 years 8 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...