4609 search results - page 163 / 922 » Automatic Generation of Sigma-Protocols |
163
click to vote
CVIU
2004
15 years 6 months ago
2004
We present an approach for detecting and describing complex buildings with flat or complex rooftops by using multiple, overlapping images of the scene. We find 3-D rooftop boundar...
146
click to vote
DSN
2006
IEEE
16 years 14 days ago
2006
IEEE
This paper provides a technique, based on partially observable Markov decision processes (POMDPs), for building automatic recovery controllers to guide distributed system recovery...
200
click to vote
AI
2003
Springer
15 years 11 months ago
2003
Springer
This research is directed towards automating the Web Site summarization task. To achieve this objective, an approach, which applies machine learning and natural language processing...
164
click to vote
EDOC
2006
IEEE
16 years 14 days ago
2006
IEEE
Enterprise systems are frequently built by combining a number of discrete Web services together, a process termed composition. There are a number of architectural configurations ...
171
click to vote
IROS
2006
IEEE
16 years 13 days ago
2006
IEEE
Abstract— We present a computational framework for automatic deployment of robots in 2D and 3D rectangular environments with polytopal obstacles. The results are derived for poly...