13383 search results - page 372 / 2677 » Abstractions from proofs |
211
click to vote
ICDCIT
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Many researchers have investigated the problem of storing and querying XML documents using an RDBMS. Two situations are considered in this approach based on whether or no...
181
click to vote
MATES
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. In this paper, an integrated approach for the modeling and the validation through simulation of multi-agent systems is proposed. The approach centers on the instantiation...
163
click to vote
IPPS
2003
IEEE
16 years 3 days ago
2003
IEEE
: The object abstraction has long proven to be an effective foundation upon which to structure application codes; however, its application to Grid Computing contains many challenge...
159
click to vote
AMR
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. Extraction of visual descriptors is a crucial problem for stateof-the-art visual information analysis. In this paper, we present a knowledgebased approach for detection o...
192
click to vote
ASP
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives and without the burden of any form of negation. This complet...