2119 search results - page 220 / 424 » Structure-Preserving Model Reduction |
134
click to vote
ACCV
2006
Springer
15 years 9 months ago
2006
Springer
Background subtraction is an essential task in several static camera based computer vision systems. Background modeling is often challenged by spatio-temporal changes occurring due...
118
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
— Lithium-ion batteries are the core of new plug-in hybrid-electrical vehicles (PHEV) as well as considered in many 2nd generation hybrid electric vehicles (HEV). In most cases t...
130
click to vote
ANOR
2002
15 years 3 months ago
2002
We introduce a distribution center (DC) location model that incorporates working inventory and safety stock inventory costs at the distribution centers. In addition, the model inco...
119
click to vote
CHI
2005
ACM
16 years 3 months ago
2005
ACM
The computer and communication systems that office workers currently use tend to interrupt at inappropriate times or unduly demand attention because they have no way to determine ...
112
click to vote
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...