4099 search results - page 659 / 820 » A Framework for Interactive Proof |
155
Voted
AMSTERDAM
2009
15 years 2 months ago
2009
Because (of) is ambiguous between a `reason' and a `plain cause' interpretation. Presenting a semantic analysis within the framework of Discourse Representation Theory, I...
151
click to vote
ICAI
2009
15 years 2 months ago
2009
Motivated by a representational model for the cross-modal interaction between language and other modalities we present a framework for the integration of contextual information int...
148
click to vote
IFIP
2009
Springer
15 years 2 months ago
2009
Springer
Collaboration, either inter or intra-organization is a critical business function that demands skills and knowledge spanning a wide range of domains including social, business and ...
152
click to vote
COMSIS
2010
15 years 1 months ago
2010
How to enhance interoperability between stakeholders and improve efficiency of supply chain management is the key issue that needs to be addressed in automobile industry. Existing ...
125
click to vote
TVCG
2011
14 years 11 months ago
2011
—Space-filling layout techniques for tree representations are frequently used when the available screen space is small or the data set is large. In this paper, we propose an ef...