2291 search results - page 457 / 459 » Representational Reasoning and Verification |
OOPSLA
2010
Springer
13 years 5 months ago
2010
Springer
We propose a new way to raise the level of discourse in the programming process: permit ambiguity, but manage it by linking it to unambiguous examples. This allows programming env...
PVLDB
2010
13 years 5 months ago
2010
Many data-management applications require integrating data from a variety of sources, where different sources may refer to the same real-world entity in different ways and some ma...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
This research applies ideas from argumentation theory in the context of semantic wikis, aiming to provide support for structured-large scale argumentation between human agents. The...
AIEDAM
2011
13 years 2 months ago
2011
In familiar design domains, expert designers are able to quickly focus on “good designs”, based on constraints they have learned while exploring the design space. This ability ...
TMI
2011
13 years 2 months ago
2011
—In this paper, we propose a novel predictive model, active volume model (AVM), for object boundary extraction. It is a dynamic “object” model whose manifestation includes a ...