5138 search results - page 938 / 1028 » Randomized Algorithms for 3-SAT |
125
Voted
IPPS
2008
IEEE
15 years 8 months ago
2008
IEEE
Many efforts have been made for addressing coverage problems in sensor networks. They fall into two categories, full coverage and barrier coverage, featured as static coverage. In...
109
click to vote
ISVLSI
2007
IEEE
15 years 8 months ago
2007
IEEE
— Y -interconnects for VLSI chips are based on the use of global and semi-global wiring in only 0◦ , 60◦ , and 120◦ . Though X-interconnects are fast replacing the traditio...
118
click to vote
QEST
2007
IEEE
15 years 8 months ago
2007
IEEE
We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized Ctl (Qrctl): formulas o...
112
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
Point estimates of the parameters in real world models convey valuable information about the actual system. However, parameter comparisons and/or statistical inference requires de...
136
click to vote
MM
2006
ACM
15 years 7 months ago
2006
ACM
Labeling objects in images is an essential prerequisite for many visual learning and recognition applications that depend on training data, such as image retrieval, object detecti...