663 search results - page 94 / 133 » Algorithms for Computing Minimal Unsatisfiable Subsets of Co... |
RTSS
2007
IEEE
14 years 1 months ago
2007
IEEE
Recent research shows that significant energy saving can be achieved in wireless sensor networks by using mobile elements (MEs) capable of carrying data mechanically. However, th...
EMNLP
2008
13 years 9 months ago
2008
Minimum-error-rate training (MERT) is a bottleneck for current development in statistical machine translation because it is limited in the number of weights it can reliably optimi...
CSL
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
ICPP
2002
IEEE
14 years 16 days ago
2002
IEEE
Power aware computing has become popular recently and many techniques have been proposed to manage the energy consumption for traditional real-time applications. We have previousl...
CVPR
2011
IEEE
13 years 4 months ago
2011
IEEE
We present a novel algorithm for automatically applying constrainable, L1-optimal camera paths to generate stabilized videos by removing undesired motions. Our goal is to compute ...