Sciweavers

3072 search results - page 554 / 615
» Shape analysis algorithm based on information theory
Sort
View
MHCI
2009
Springer
15 years 2 months ago
Minimizing mobile phone disruption via smart profile management
In this paper, we describe the Smart Profile Management application that was designed to help minimize mobile phone disruptions. The system does this by making phone profile chang...
Amnon Dekel, Dan Nacht, Scott Kirkpatrick
FMCAD
2000
Springer
15 years 1 months ago
Automated Refinement Checking for Asynchronous Processes
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
Rajeev Alur, Radu Grosu, Bow-Yaw Wang
JCIT
2008
172views more  JCIT 2008»
14 years 9 months ago
Rough Wavelet Hybrid Image Classification Scheme
This paper introduces a new computer-aided classification system for detection of prostate cancer in Transrectal Ultrasound images (TRUS). To increase the efficiency of the comput...
Hala S. Own, Aboul Ella Hassanien
JUCS
2006
92views more  JUCS 2006»
14 years 9 months ago
Program Slicing by Calculation
: Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful ...
Nuno F. Rodrigues, Luís Soares Barbosa
TCOM
2008
101views more  TCOM 2008»
14 years 9 months ago
Transmit beamforming for space-frequency coded MIMO-OFDM systems with spatial correlation feedback
Abstract--This paper addresses the problem of joint optimization of transmit beamforming and space-frequency (SF) coding for MIMO-OFDM systems with spatial correlation feedback in ...
Ahmed K. Sadek, Weifeng Su, K. J. Ray Liu