Sciweavers

4352 search results - page 681 / 871
» A Representation Theorem and Applications
Sort
View
PASTE
2005
ACM
16 years 2 days ago
Representation-independent program analysis
Program analysis has many applications in software engineering and high-performance computation, such as program understanding, debugging, testing, reverse engineering, and optimi...
Michelle Mills Strout, John M. Mellor-Crummey, Pau...
SMA
2005
ACM
191views Solid Modeling» more  SMA 2005»
16 years 2 days ago
Poisson shape interpolation
In this paper, we propose a novel shape interpolation approach based on Poisson equation. We formulate the trajectory problem of shape interpolation as solving Poisson equations d...
Dong Xu, Hongxin Zhang, Qing Wang, Hujun Bao
UIST
2005
ACM
16 years 2 days ago
DocWizards: a system for authoring follow-me documentation wizards
Traditional documentation for computer-based procedures is difficult to use: readers have trouble navigating long complex instructions, have trouble mapping from the text to displ...
Lawrence D. Bergman, Vittorio Castelli, Tessa A. L...
WWW
2005
ACM
16 years 2 days ago
Shared lexicon for distributed annotations on the Web
The interoperability among distributed and autonomous systems is the ultimate challenge facing the semantic web. Heterogeneity of data representation is the main source of problem...
Paolo Avesani, Marco Cova
WWW
2005
ACM
16 years 2 days ago
An agent system for ontology sharing on WWW
Semantic Web Services (SWS), a new generation WWW technology, will facilitate the automation of Web service tasks, including automated Web service discovery, execution, compositio...
Kotaro Nakayama, Takahiro Hara, Shojiro Nishio