2894 search results - page 90 / 579 » Latent semantic analysis |
IFIP
2010
Springer
13 years 3 months ago
2010
Springer
We propose a timed broadcasting calculus for wireless systems. The operational semantics of our calculus is given both in terms of a Reduction Semantics and in terms of a Labelled ...
AMAST
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
GRC
2005
IEEE
14 years 2 months ago
2005
IEEE
A new visualization tool, called "Visual Concept Explorer (VCE)", was developed to visualize concept relationships in bio-medical literatura VCE integrates Pathfinder Net...
ENTCS
2008
13 years 8 months ago
2008
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent systems. Its most significant feature is the first-class representation of concu...
KDD
2005
ACM
14 years 9 months ago
2005
ACM
In this paper, we propose a new way to automatically model and predict human behavior of receiving and disseminating information by analyzing the contact and content of personal c...