920 search results - page 148 / 184 » Generating Satisfiable Problem Instances |
120
click to vote
VLSID
2008
IEEE
16 years 3 months ago
2008
IEEE
Protocol conversion involves the use of a converter to control communication between two or more protocols such that desired system-level specifications can be satisfied. We invest...
106
click to vote
WWW
2010
ACM
15 years 10 months ago
2010
ACM
We study how to automatically extract tourist trips from large volumes of geo-tagged photographs. Working with more than 8 million of these photographs that are publicly available...
126
click to vote
SAC
2009
ACM
15 years 10 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...
123
click to vote
ICTAI
2009
IEEE
15 years 9 months ago
2009
IEEE
Text classification categories Web documents in large collections into predefined classes based on their contents. Unfortunately, the classification process can be time-consumi...
123
click to vote
IROS
2009
IEEE
15 years 9 months ago
2009
IEEE
— We report an autonomous observation system with multiple pan-tilt-zoom (PTZ) cameras assisted by a fixed wideangle camera. The wide-angle camera provides large but low resolut...