Sciweavers

2017 search results - page 319 / 404
» Distributional Semantics in Technicolor
Sort
View
CONCUR
2006
Springer
15 years 8 months ago
Model Checking Quantified Computation Tree Logic
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
Arend Rensink
CONCUR
2008
Springer
15 years 7 months ago
Abstraction for Stochastic Systems by Erlang's Method of Stages
ion for Stochastic Systems by Erlang's Method of Stages Joost-Pieter Katoen1 , Daniel Klink1 , Martin Leucker2 , and Verena Wolf3 1 RWTH Aachen University 2 TU Munich 3 EPF La...
Joost-Pieter Katoen, Daniel Klink, Martin Leucker,...
IESA
2007
15 years 7 months ago
A Security Framework for Smart Ubiquitous Industrial Resources
Conventional approaches to manage and control security seem to have reached their limits in new complex environments. These environments are open, dynamic, heterogeneous, distribut...
Anton Naumenko, Artem Katasonov, Vagan Y. Terziyan
BIS
2007
93views Business» more  BIS 2007»
15 years 7 months ago
Homogeneous Temporal Activity Patterns in a Large Online Communication Space
The many-to-many social communication activity on the popular technology-news website Slashdot has been studied. We have concentrated on the dynamics of message production without...
Andreas Kaltenbrunner, Vicenç Gómez,...
COLING
2008
15 years 7 months ago
Using Web-Search Results to Measure Word-Group Similarity
Semantic relatedness between words is important to many NLP tasks, and numerous measures exist which use a variety of resources. Thus far, such work is confined to measuring simil...
Ann Gledson, John Keane