693 search results - page 63 / 139 » Minimization and Partitioning Method Reducing Input Sets |
125
click to vote
ICDE
2007
IEEE
15 years 8 months ago
2007
IEEE
Similarity search usually encounters a serious problem in the high dimensional space, known as the “curse of dimensionality”. In order to speed up the retrieval efficiency, p...
101
click to vote
CVPR
2003
IEEE
16 years 3 months ago
2003
IEEE
We introduce an example-based synthesis technique that extrapolates novel styles for a given input image. The technique is based on separating the style and content of image fragm...
106
click to vote
ICRA
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— We study the problem of designing control strategies for nondeterministic transitions systems enforcing the satisfaction of Linear Temporal Logic (LTL) formulas over th...
118
click to vote
ICCCN
2007
IEEE
15 years 8 months ago
2007
IEEE
— Autonomous localization of nodes in wireless sensor networks is essential to minimize the complex self organization task and consequently enhancing the overall network lifetime...
JELIA
2004
Springer
15 years 7 months ago
2004
Springer
The Nelson-Oppen combination method combines decision procedures for theories satisfying certain conditions into a decision procedure for their union. While the method is known to ...