2215 search results - page 343 / 443 » Wide open spaces |
SPIN
2010
Springer
13 years 8 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
SPIRE
2010
Springer
13 years 8 months ago
2010
Springer
Several IR tasks rely, to achieve high efficiency, on a single pervasive data structure called the inverted index. This is a mapping from the terms in a text collection to the docu...
CGO
2010
IEEE
13 years 8 months ago
2010
IEEE
Dynamic memory allocation is widely used in modern programs. General-purpose heap allocators often focus more on reducing their run-time overhead and memory space utilization, but...
EMNLP
2010
13 years 8 months ago
2010
In modern machine translation practice, a statistical phrasal or hierarchical translation system usually relies on a huge set of translation rules extracted from bi-lingual traini...
GROUP
2010
ACM
13 years 8 months ago
2010
ACM
The difficulties remote participants of distributed meetings face are widely recognized. In this paper we describe the design of an avatar-based e-meeting support tool named Olymp...