Sciweavers

3456 search results - page 502 / 692
» Algorithms for Interface Synthesis
Sort
View
SEMWEB
2005
Springer
15 years 12 months ago
Towards Imaging Large-Scale Ontologies for Quick Understanding and Analysis
In many practical applications, ontologies tend to be very large and complicated. In order for users to quickly understand and analyze large-scale ontologies, in this paper we prop...
Kewei Tu, Miao Xiong, Lei Zhang, Haiping Zhu, Jie ...
TLCA
2005
Springer
15 years 12 months ago
Subtyping Recursive Types Modulo Associative Commutative Products
This work sets the formal bases for building tools that help retrieve classes in object-oriented libraries. In such systems, the user provides a query, formulated as a set of class...
Roberto Di Cosmo, François Pottier, Didier ...
HT
2004
ACM
15 years 12 months ago
Managing conflict in multi-model adaptive hypertext
Adaptive hypermedia has the goal of contextualizing the display of a hypertext to suit the user and their situation. A variety of aspects of the context can influence the appropri...
Luis Francisco-Revilla, Frank M. Shipman III
HT
2004
ACM
15 years 12 months ago
Properties of academic paper references
We propose a new method to find related papers using an input paper and its hyperlinked citation relationships rather than keywords. Such related papers are especially useful as b...
Sunghun Kim, E. James Whitehead Jr.
SIGCSE
2004
ACM
110views Education» more  SIGCSE 2004»
15 years 12 months ago
An extensible framework for providing dynamic data structure visualizations in a lightweight IDE
A framework for producing dynamic data structure visualizations within the context of a lightweight IDE is described. Multiple synchronized visualizations of a data structure can ...
T. Dean Hendrix, James H. Cross II, Larry A. Barow...