12453 search results - page 321 / 2491 » Concurrent Data Structures |
173
click to vote
ENTCS
2007
15 years 6 months ago
2007
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...
253
click to vote
ICDE
2012
IEEE
13 years 9 months ago
2012
IEEE
— The web today is increasingly characterized by social and real-time signals, which we believe represent two frontiers in information retrieval. In this paper, we present Earlyb...
204
click to vote
DEBU
2010
15 years 6 months ago
2010
Keyword search has traditionally focussed on retrieving documents in ranked order, given simple keyword queries. Similarly, work on keyword queries on structured data has focussed...
204
click to vote
INFORMATICALT
2007
15 years 6 months ago
2007
The paper presents, first, the Structural Blanks (SB) approach, then a method to compose loop programs. SB is an approach for expressing computations based on recurrence relations...
172
Voted
BMCBI
2008
15 years 6 months ago
2008
Background: The fast growing Protein Data Bank contains the three-dimensional description of more than 45000 protein- and nucleic-acid structures today. The large majority of the ...