9186 search results - page 79 / 1838 » A Module System for Scheme |
109
Voted
CVPR
2008
IEEE
16 years 4 months ago
2008
IEEE
Texture information in images is coupled with geometric macrostructures and piecewise-smooth intensity variations. Decomposing an image f into a geometric structure component u an...
95
Voted
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
t programming techniques encourage abstraction and reuse through external linking. Some parts of a program, however, must use concrete, internally specified references, so a pure ...
113
click to vote
LPAR
2005
Springer
15 years 7 months ago
2005
Springer
Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system sat...
113
click to vote
ICST
2008
IEEE
15 years 8 months ago
2008
IEEE
Real-time embedded systems typically include concurrent tasks of different priorities with time-dependent operations accessing common resources. In this context, unsynchronized pa...
144
click to vote
ICC
2009
IEEE
15 years 9 months ago
2009
IEEE
—Rate adaptation based on Signal-to-Noise Ratio (SNR) measurements is a common channel adaptation scheme to increase throughput in wireless communication systems. To use rate ada...