2438 search results - page 241 / 488 » Consistent Gradient Operators |
117
click to vote
HOA
1993
15 years 7 months ago
1993
This paper studies termination properties of rewrite systems that are typeable using intersection types. It introduces a notion of partial type assignment on Curryfied Term Rewri...
108
click to vote
CEC
2009
IEEE
15 years 6 months ago
2009
IEEE
Landing on distant planets is always a challenging task due to the distance and hostile environments found. In the design of autonomous hazard avoidance systems we find the particu...
128
click to vote
ICASSP
2009
IEEE
15 years 6 months ago
2009
IEEE
In this paper, we investigate the timing and carrier frequency offset (CFO) synchronization problem in decode and forward cooperative systems operating over frequency selective ch...
107
click to vote
APSEC
2004
IEEE
15 years 6 months ago
2004
IEEE
In component-based development (CBD), component is the basic unit for reuse and it provides a relatively coarse-grained functionality. A component typically consists of several re...
DEXAW
2004
IEEE
15 years 6 months ago
2004
IEEE
In this research, we investigated the everyday life of inpatients in a hospital. We found that family members want to meet with inpatients even if they are very busy with their wo...