Sciweavers

446 search results - page 71 / 90
» LTS semantics for use case models
Sort
View
SAMT
2007
Springer
98views Multimedia» more  SAMT 2007»
15 years 6 months ago
Personalization of Content in Virtual Exhibitions
Presentation of content is an important aspect of today’s virtual reality applications, especially in domains such as virtual exhibitions. The large amount and variety of exhibit...
Bill Bonis, John Stamos, Spyros Vosinakis, Ioannis...
IV
2005
IEEE
131views Visualization» more  IV 2005»
15 years 5 months ago
A Framework for Visualising Large Graphs
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...
Wanchun Li, Seok-Hee Hong, Peter Eades
POPL
1999
ACM
15 years 4 months ago
A Core Calculus of Dependency
Notions of program dependency arise in many settings: security, partial evaluation, program slicing, and call-tracking. We argue that there is a central notion of dependency commo...
Martín Abadi, Anindya Banerjee, Nevin Heint...
CASCON
2004
108views Education» more  CASCON 2004»
15 years 1 months ago
Consistent query answering under inclusion dependencies
For several reasons a database may not satisfy certain integrity constraints (ICs), for example, when it is the result of integrating several independent data sources. However, mo...
Loreto Bravo, Leopoldo E. Bertossi
COLING
1996
15 years 1 months ago
Focus and Higher-Order Unification
2 Focus theory Pulman has shown that Higher-Order Unifcation (HOU) can be used to model the interpretation of focus. In this paper, we extend the unification based approach to case...
Claire Gardent, Michael Kohlhase