941 search results - page 126 / 189 » Mathematics on the (Semantic) NET |
83
Voted
VL
1999
IEEE
15 years 4 months ago
1999
IEEE
Recently a new metaphor for diagramming, the intelligent diagram has emerged. This new metaphor provides an excellent basis for diagram beautification since it automatically colle...
100
click to vote
TIME
1998
IEEE
15 years 4 months ago
1998
IEEE
In this paper, we propose a logic of action and causality. The most important part of our contribution is a semantics that integrates action, temporal structure, and probability. ...
136
Voted
FOSSACS
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...
114
Voted
PODS
2010
ACM
15 years 2 months ago
2010
ACM
We study highly expressive query languages such as datalog, fixpoint, and while-languages on probabilistic databases. We generalize these languages such that computation steps (e....
119
Voted
FLAIRS
2007
15 years 2 months ago
2007
The basic aim of the model proposed here is to automatically build semantic metatext structure for texts that would allow us to search and extract discourse and semantic informati...