7811 search results - page 425 / 1563 » computing 2004 |
211
click to vote
DAC
2004
ACM
16 years 8 months ago
2004
ACM
A recursive algorithm for solving Boolean relations is presented. It provides several features: wide exploration of solutions, parametrizable cost function and efficiency. The exp...
217
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
A method for the classification of land cover in urban areas by the fusion of first and last pulse LIDAR data and multi-spectral images is presented. Apart from buildings, the cla...
166
click to vote
FLOPS
2004
Springer
16 years 28 days ago
2004
Springer
This paper presents a backward sharing analysis for logic programs. The analysis computes pre-conditions for a query that guarantee a given post-condition is satisfied after the q...
211
click to vote
GI
2004
Springer
16 years 28 days ago
2004
Springer
: Wireless Local Area Networks (WLAN) do not only provide a means for wireless communication, they can also supply terminal positions to location-aware services and applications. T...
184
click to vote
ICA
2004
Springer
16 years 28 days ago
2004
Springer
Presented here is a generalization of the modified relative Newton method, recently proposed in [1] for quasi-maximum likelihood blind source separation. Special structure of the ...