Sciweavers

6274 search results - page 651 / 1255
» From query complexity to computational complexity
Sort
View
ICIP
2000
IEEE
16 years 8 months ago
Video Transcoding by Reducing Spatial Resolution
In network delivery of digital video, if the bandwidth required for a video is not available, the video has to be recoded at a reduced bit rate. It is highly desirable that the tr...
Peng Yin, Min Wu, Bede Liu
CADE
2008
Springer
16 years 7 months ago
On Automating the Calculus of Relations
Relation algebras provide abstract equational axioms for the calculus of binary relations. They name an established area of mathematics with various applications in computer scienc...
Georg Struth, Peter Höfner
ISBI
2009
IEEE
16 years 2 months ago
Segmentation of Inflamed Synovia in Multi-Modal 3D MRI
We address the difficult problem of segmenting the inflamed synovial tissue in multi-modal 3D MR sequences of the wrist. The complex morphology of the structures to segment, the...
Curzio Basso, Matteo Santoro, Alessandro Verri, Ma...
TASE
2009
IEEE
16 years 2 months ago
Fault-Based Test Case Generation for Component Connectors
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...
Bernhard K. Aichernig, Farhad Arbab, Lacramioara A...
IEEEIAS
2008
IEEE
16 years 1 months ago
A Device Management Framework for Secure Ubiquitous Service Delivery
In a mobile ubiquitous environment, service interactions between a user device and a service provider should be secure, regardless of the type of device used to access or consume ...
Adrian Leung, Chris J. Mitchell