78 search results - page 12 / 16 » Church Synthesis Problem with Parameters |
IV
1999
IEEE
13 years 11 months ago
1999
IEEE
Existing featureless image mosaicing techniques do not pay enough attention to the robustness of the image registration process, and are not able to combine multiple video sequenc...
SAIG
2000
Springer
13 years 11 months ago
2000
Springer
Extracting information from data, often also called data analysis, is an important scienti c task. Statistical approaches, which use methods from probability theory and numerical a...
RSS
2007
13 years 8 months ago
2007
— We develop a systematic approach to incorporating uncertainty into planning manipulation tasks with frictional contacts. We consider the canonical problem of assembling a peg i...
IPPS
2005
IEEE
14 years 1 months ago
2005
IEEE
— Schedule synthesis based on reachability analysis of timed automata has received attention in the last few years. The main strength of this approach is that the expressiveness ...
CGF
2004
13 years 7 months ago
2004
Despite the notable progress in physically-based rendering, there is still a long way to go before we can automatically generate predictable images of biological materials. In thi...