1536 search results - page 42 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
ECIR
2008
Springer
14 years 11 months ago
2008
Springer
Word space models, in the sense of vector space models built on distributional data taken from texts, are used to model semantic relations between words. We argue that the high dim...
TCS
2008
14 years 9 months ago
2008
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
93
Voted
ICSE
2008
IEEE-ACM
15 years 9 months ago
2008
IEEE-ACM
Understanding the structure of large existing (and evolving) software systems is a major challenge for software engineers. In reverse engineering, we aim to compute, for a given s...
ICCCI
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Many keyword-based approaches to text classification, information retrieval or even user modeling for adaptive web-based system could benefit from knowledge on relation...
102
click to vote
TFS
2008
14 years 9 months ago
2008
When the time span of an event is imprecise, it can be represented by a fuzzy set, called a fuzzy time interval. In this paper, we propose a framework to represent, compute, and re...