Sciweavers

1112 search results - page 146 / 223
» Executing Abstract Test Cases
Sort
View
RECOMB
2005
Springer
16 years 3 months ago
A Practical Approach to Significance Assessment in Alignment with Gaps
Abstract. Current numerical methods for assessing the statistical significance of local alignments with gaps are time consuming. Analytical solutions thus far have been limited to ...
Nicholas Chia, Ralf Bundschuh
ICALP
2009
Springer
16 years 3 months ago
Towards a Study of Low-Complexity Graphs
Abstract. We propose the study of graphs that are defined by lowcomplexity distributed and deterministic agents. We suggest that this viewpoint may help introduce the element of in...
Sanjeev Arora, David Steurer, Avi Wigderson
ICCAD
2006
IEEE
95views Hardware» more  ICCAD 2006»
15 years 11 months ago
Timing model reduction for hierarchical timing analysis
— In this paper, we propose a timing model reduction algorithm for hierarchical timing analysis based on a bicliquestar replacement technique. In hierarchical timing analysis, ea...
Shuo Zhou, Yi Zhu, Yuanfang Hu, Ronald L. Graham, ...
ICRA
2009
IEEE
103views Robotics» more  ICRA 2009»
15 years 9 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...
ASIACRYPT
2009
Springer
15 years 9 months ago
Secure Two-Party Computation Is Practical
Abstract. Secure multi-party computation has been considered by the cryptographic community for a number of years. Until recently it has been a purely theoretical area, with few im...
Benny Pinkas, Thomas Schneider, Nigel P. Smart, St...