4209 search results - page 51 / 842 » Abstract Dialectical Frameworks |
DAGSTUHL
2007
14 years 11 months ago
2007
Abstract. This paper makes a foundational contribution to the discussions on the very nature of belief change operations. Belief revision and pdate are investigated within an abstr...
182
click to vote
VLSI
2012
Springer
13 years 5 months ago
2012
Springer
e technique is based on abstract execution profiles, called event signatures, and it operates at a higher level of abstraction than, for example, commonly used instruction-set sim...
106
click to vote
ICDCSW
2007
IEEE
15 years 4 months ago
2007
IEEE
We introduce the “WUI-Toolkit” as a framework to support and ease the development of wearable user interfaces (WUIs). The toolkit presents a first step towards a model-driven...
IV
2005
IEEE
15 years 3 months ago
2005
IEEE
Visualising large graphs faces the challenges of both data complexity and visual complexity. This paper presents a framework for visualising large graphs that reduces data complex...
ISAS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...