1364 search results - page 173 / 273 » Comparative Branching-Time Semantics |
104
click to vote
LREC
2008
15 years 5 months ago
2008
This paper deals with the relationship between weblog content and time. With the proposed temporal mutual information, we analyze the collocations in time dimension, and the inter...
105
click to vote
NAACL
2007
15 years 5 months ago
2007
A novel random text generation model is introduced. Unlike in previous random text models, that mainly aim at producing a Zipfian distribution of word frequencies, our model also ...
136
Voted
WICSA
2008
15 years 5 months ago
2008
Software architecting is a highly knowledge-intensive process demanding and producing a large and rich amount of information. To remain competitive, companies and organizations wo...
116
click to vote
AAAI
2004
15 years 5 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
120
click to vote
ACL
2006
15 years 5 months ago
2006
As natural language understanding research advances towards deeper knowledge modeling, the tasks become more and more complex: we are interested in more nuanced word characteristi...