4075 search results - page 778 / 815 » Modeling Distributed Algorithm Using B |
134
click to vote
CIKM
2011
Springer
14 years 2 months 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...
137
click to vote
NAACL
2003
15 years 3 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, ...
131
click to vote
PODC
2009
ACM
15 years 11 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...
112
click to vote
RECOMB
2004
Springer
16 years 2 months 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...
154
click to vote
PPSN
1994
Springer
15 years 6 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...