4075 search results - page 778 / 815 » Modeling Distributed Algorithm Using B |
117
click to vote
CIKM
2011
Springer
14 years 15 days ago
2011
Springer
Traditional information retrieval techniques based on keyword search help to identify a ranked set of relevant documents, which often contains many documents in the top ranks that...
127
click to vote
NAACL
2003
15 years 1 months ago
2003
Searching online information is increasingly a daily activity for many people. The multilinguality of online content is also increasing (e.g. the proportion of English web users, ...
118
Voted
PODC
2009
ACM
15 years 9 months ago
2009
ACM
In this paper, we study the wireless synchronization problem which requires devices activated at different times on a congested single-hop radio network to synchronize their roun...
101
Voted
RECOMB
2004
Springer
16 years 25 days ago
2004
Springer
Finding recurring residue packing patterns, or spatial motifs, that characterize protein structural families is an important problem in bioinformatics. To this end, we apply a nov...
142
Voted
PPSN
1994
Springer
15 years 4 months ago
1994
Springer
We present the Genetic L-System Programming (GLP) paradigm for evolutionary creation and development of parallel rewrite systems (Lsystems, Lindenmayer-systems) which provide a com...