2438 search results - page 390 / 488 » Consistent Gradient Operators |
CACM
2010
14 years 7 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
CARTOGRAPHICA
2010
14 years 7 months ago
2010
Shaded relief derived automatically from digital elevation models differs distinctly from traditional manual shading. Particularly at small scales, many small topographic details ...
CCGRID
2010
IEEE
14 years 4 months ago
2010
IEEE
This paper discusses our experience in building SPIRE, an autonomic system for service provision. The architecture consists of a set of hosted Web Services subject to QoS constrain...
TASLP
2011
14 years 4 months ago
2011
—This paper presents a blind source separation method for convolutive mixtures of speech/audio sources. The method can even be applied to an underdetermined case where there are ...
105
click to vote
ITIIS
2010
14 years 4 months ago
2010
Integrated RFID-WSNs (wireless sensor networks) have recently been researched to provide object identities, sensing information, mobile service, and network functionalities. In in...