276 search results - page 6 / 56 » Abstraction and Refinement for Local Reasoning |
AGENTS
1999
Springer
13 years 12 months ago
1999
Springer
Uncertain and complex environments demand that an agent be able to anticipate the actions of others in order to avoid resource conflicts with them and to realize its goals. Confli...
MVA
1996
13 years 8 months ago
1996
2 Approach Many methods/approaches about the extraction of road information from map images have been proposed until today. In comparison with these currently developed methods/app...
SIAMCOMP
2012
11 years 10 months ago
2012
d Abstract) Sanjeev Arora∗ L´aszl´o Lov´asz† Ilan Newman‡ Yuval Rabani§ Yuri Rabinovich¶ Santosh Vempala Motivated by applications in combinatorial optimization, we ini...
IPPS
1998
IEEE
13 years 11 months ago
1998
IEEE
Parallel programming continues to be difficult and error-prone, whether starting from specifications or from an existing sequential program. This paper presents (1) a methodology f...
AGP
2003
IEEE
14 years 25 days ago
2003
IEEE
Abstract The Semantic Web (SW) can be seen as abstract representation and exchange of data and metadata. Metadata is given in terms of data mark-up and reference to shared, Web-acc...