738 search results - page 105 / 148 » Prime Implicant Computation Using Satisfiability Algorithms |
ECCV
2002
Springer
15 years 11 months ago
2002
Springer
Abstract. Stereo matching is an ill-posed problem for at least two principal reasons: (1) because of the random nature of match similarity measure and (2) because of structural amb...
WWW
2006
ACM
15 years 10 months ago
2006
ACM
We introduce and evaluate a middleware clustering technology capable of allocating resources to web applications through dynamic application instance placement. We define applicat...
SDM
2009
SIAM
15 years 7 months ago
2009
SIAM
Data stream analysis frequently relies on identifying correlations and posing conditional queries on the data after it has been seen. Correlated aggregates form an important examp...
SAC
2009
ACM
15 years 4 months ago
2009
ACM
Energy management is a critical concern in the design of embedded systems to prolong the lifetime or to maximize the performance under energy constraints. In particular, the emerg...
ICDCSW
2008
IEEE
15 years 4 months ago
2008
IEEE
—Recently, wireless sensor networks (WSNs) have been widely discussed in many applications. In this paper, we propose a WSN-based intelligent light control system for indoor envi...