Sciweavers

2312 search results - page 320 / 463
» Invariance in Property Testing
Sort
View
IPMI
2005
Springer
14 years 11 months ago
Computational Elastography from Standard Ultrasound Image Sequences by Global Trust Region Optimization
Abstract. A new approach is proposed to estimate the spatial distribution of shear modulus of tissues in-vivo. An image sequence is acquired using a standard medical ultrasound sca...
Jan Kybic, Daniel Smutek
RECOMB
2005
Springer
14 years 10 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
CADE
2008
Springer
14 years 10 months ago
Exploring Model-Based Development for the Verification of Real-Time Java Code
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
Niusha Hakimipour, Paul A. Strooper, Roger Duke
ICALP
2009
Springer
14 years 10 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
CVPR
2010
IEEE
14 years 5 months ago
Geo-location estimation from two shadow trajectories
The position of a world point’s solar shadow depends on its geographical location, the geometrical relationship between the orientation of the sunshine and the ground plane wher...
Lin Wu, Xiaochun Cao