2215 search results - page 6 / 443 » Wide open spaces |
ACL
2010
13 years 6 months ago
2010
We present the S-Space Package, an open source framework for developing and evaluating word space algorithms. The package implements well-known word space algorithms, such as LSA,...
AMAST
2006
Springer
14 years 16 days ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
AIML
2008
13 years 10 months ago
2008
In this paper we study the intermediate logic MLO(X) of open subsets of a metric space X. This logic is closely related to Medvedev's logic of finite problems ML. We prove sev...
TMRA
2007
Springer
14 years 2 months ago
2007
Springer
This is a summary of the presentations made in the poster session and the two open space sessions at the TMRA 2006 conference. The poster session consists of peer-reviewed conferen...
Publication
Conversations between colleagues in collaborative
software engineering are important for coordinating work,
sharing knowledge and creating knowledge. Overhearing con-
versations...