4770 search results - page 305 / 954 » Flexible Type Analysis |
275
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
Pointer safety faults in device drivers are one of the leading causes of crashes in operating systems code. In principle, shape analysis tools can be used to prove the absence of t...
218
click to vote
EUROIMSA
2006
15 years 8 months ago
2006
Sports analysis has recently become popular in research and professional applications. This paper presents a scheme for automatic sports video analysis based on audio clues and sp...
185
click to vote
IJCAI
1989
15 years 8 months ago
1989
Perturbation analysis deals with the relation ships between small changes in a system's inputs or model and changes in its outputs. Reverse simulation is of particular inte...
208
click to vote
BMCBI
2005
15 years 7 months ago
2005
Background: Ambiguity is a problem in biosequence analysis that arises in various analysis tasks solved via dynamic programming, and in particular, in the modeling of families of ...
189
click to vote
CVPR
2000
IEEE
16 years 9 months ago
2000
IEEE
This paper describes an efficient method to obtain 3D information by using spatio-temporal analysis of omni images for outdoor navigation and map-making in the intelligent transpo...