10891 search results - page 313 / 2179 » Combining Model Reductions |
141
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...
127
Voted
ICFEM
2009
Springer
15 years 11 months ago
2009
Springer
Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms....
143
click to vote
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
Among the foremost goals of topology control in wireless ad-hoc networks is interference reduction. This paper presents a receiver-centric interference model featuring two main ad...
165
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
This paper investigates the impact of subspace based techniques for acoustic modeling in automatic speech recognition (ASR). There are many well known approaches to subspace based...
153
click to vote
CVPR
2006
IEEE
16 years 6 months ago
2006
IEEE
Dynamic appearance is one of the most important cues for tracking and identifying moving people. However, direct modeling spatio-temporal variations of such appearance is often a ...