Sciweavers

774 search results - page 83 / 155
» Markov incremental constructions
Sort
View
PODC
2009
ACM
14 years 9 months ago
Max registers, counters, and monotone circuits
A method is given for constructing a max register, a linearizable, wait-free concurrent data structure that supports a write operation and a read operation that returns the larges...
James Aspnes, Hagit Attiya, Keren Censor
BMCBI
2007
135views more  BMCBI 2007»
13 years 9 months ago
Sequence similarity is more relevant than species specificity in probabilistic backtranslation
Background: Backtranslation is the process of decoding a sequence of amino acids into the corresponding codons. All synthetic gene design systems include a backtranslation module....
Alfredo Ferro, Rosalba Giugno, Giuseppe Pigola, Al...
CHI
2002
ACM
14 years 9 months ago
How knowledge workers use the web
We report on a diary study of how and why knowledge workers use the World Wide Web. By examining in detail a complete two-day set of Web activities from each of 24 people, we cons...
Abigail Sellen, Rachel Murphy, Kate L. Shaw
ICFP
2002
ACM
14 years 9 months ago
Final shift for call/cc: : direct implementation of shift and reset
We present a direct implementation of the shift and reset control operators in the Scheme 48 system. The new implementation improves upon the traditional technique of simulating s...
Martin Gasbichler, Michael Sperber
ICRA
2009
IEEE
103views Robotics» more  ICRA 2009»
14 years 3 months ago
Finding good cycle constraints for large scale multi-robot SLAM
Abstract— In this paper we describe an algorithm to compute cycle constraints that can be used in many graph-based SLAM algorithms; we exemplify it in Hierarchical SLAM. Our algo...
Carlos Estrada, José Neira, Juan D. Tard&oa...