1223 search results - page 155 / 245 » Semantic Visualization and Meaning Computation |
BIRTHDAY
2005
Springer
15 years 5 months ago
2005
Springer
We present an extension of first-order predicate logic with a novel predicate ‘at t’ meaning intuitively “this term is a variable symbol”. We give simple sequent proof-ru...
IPPS
2002
IEEE
15 years 4 months ago
2002
IEEE
Software-based distributed shared memory (DSM) systems do usually not provide any means to use shared memory regions as stacks or via an efficient heap memory allocator. Instead ...
100
click to vote
ACII
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. The largest part of the advertising market is already electronic. This means there is an opportunity for automatizing some of the production processes, such as producing ...
120
click to vote
IANDC
2010
14 years 9 months ago
2010
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...
137
click to vote
COLING
2010
14 years 6 months ago
2010
In the field of multi-document summarization, the Pyramid method has become an important approach for evaluating machine-generated summaries. The method is based on the manual ann...