1325 search results - page 100 / 265 » The Incidence Propagation Method |
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper describes source depth estimation in shallow water environments using a Horizontal Line Array of hydrophones on the sea bottom. A method based on modal propagation, usi...
FROCOS
2011
Springer
12 years 8 months ago
2011
Springer
One of the main shortcomings of the traditional methods for combining theories is the complexity of guessing the arrangement of the variables shared by the individual theories. Thi...
Publication
Line-art illustrations are effective tools for conveying shapes and shading of complex objects. We present a set of new algorithms to render line-art illustrations of dynamic and s...
SIGIR
2009
ACM
14 years 3 months ago
2009
ACM
The analysis of the leading social video sharing platform YouTube reveals a high amount of redundancy, in the form of videos with overlapping or duplicated content. In this paper,...
CP
2007
Springer
14 years 3 months ago
2007
Springer
It is known that Constraint Satisfaction Problems (CSP) can be converted into Boolean Satisfiability problems (SAT); however how to encode a CSP into a SAT problem such that a SAT...