98 search results - page 13 / 20 » Planning with Recursive Subgoals |
CHARME
2003
Springer
15 years 2 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
164
click to vote
ICDE
2008
IEEE
15 years 11 months ago
2008
IEEE
Data sources on the web are often accessible through web interfaces that present them as relational tables, but require certain attributes to be mandatorily selected, e.g., via a w...
ICDT
2007
ACM
15 years 3 months ago
2007
ACM
We consider the problem of querying data sources that have limited capabilities and can thus only be accessed by complying with certain binding patterns for their attributes. This ...
124
click to vote
DAS
2010
Springer
15 years 2 months ago
2010
Springer
In this article, a system to detect the rooms in architectural floor plan images is described. We first present a primitive extraction algorithm for line detection. It is based ...
172
click to vote
ICDE
2000
IEEE
15 years 11 months ago
2000
IEEE
In information-integration systems, sources may have diverse and limited query capabilities. In this paper we show that because sources have restrictions on retrieving their infor...