1802 search results - page 47 / 361 » Model-based Theory Combination |
VMCAI
2009
Springer
14 years 3 months ago
2009
Springer
Vectors and bags are basic collection data structures, which are used frequently in programs and specifications. Reasoning about these data structures is supported by established ...
ECWEB
2010
Springer
13 years 10 months ago
2010
Springer
This research proposes a decision aid based on a novel type of preference relaxation, which enables consumers to easily make quality choices in online multiattribute choice scenari...
KR
2004
Springer
14 years 2 months ago
2004
Springer
This paper presents a theory of informative communications among agents that allows a speaker to communicate to a hearer truths about the state of the world; the occurrence of eve...
AI
2005
Springer
13 years 9 months ago
2005
Springer
This paper presents a theory of informative communications among agents that allows a speaker to communicate to a hearer truths about the state of the world; the occurrence of eve...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
The seabed characterization from sonar images is a very hard task because of the produced data and the unknown environment, even for an human expert. In this work we propose an ori...