950 search results - page 107 / 190 » Machine semantics |
165
click to vote
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
The main claim of this paper is that machine learning can help integrate the construction of ontologies and extraction grammars and lead us closer to the Semantic Web vision. The p...
135
click to vote
MLMI
2005
Springer
15 years 10 months ago
2005
Springer
We address the problem of segmentation and recognition of sequences of multimodal human interactions in meetings. These interactions can be seen as a rough structure of a meeting, ...
131
click to vote
LICS
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we develop a new substructural logic that can encode invariants necessary for reasoning about hierarchical storage. We show how the logic can be used to describe th...
124
click to vote
ERSHOV
1999
Springer
15 years 8 months ago
1999
Springer
A semi-visual framework for the speci cation of syntax and semantics of imperative programming languages, called Montages, was proposed in an earlier work by the authors. The prima...
117
click to vote
SSDBM
1998
IEEE
15 years 8 months ago
1998
IEEE
In this demonstration, we show three interrelated tools intended to improve different aspects of the quality of data warehouse solutions. Firstly, the deductive object manager Con...