Sciweavers

1860 search results - page 177 / 372
» tools 2009
Sort
View
RE
2009
Springer
16 years 20 days ago
Intellectual Property Rights Requirements for Heterogeneously-Licensed Systems
Heterogeneously-licensed systems pose new challenges to analysts and system architects. Appropriate intellectual property rights must be available for the installed system, but wi...
Thomas A. Alspaugh, Hazeline U. Asuncion, Walt Sca...
RTA
2009
Springer
16 years 20 days ago
VMTL-A Modular Termination Laboratory
Abstract. The automated analysis of termination of term rewriting systems (TRSs) has drawn a lot of attention in the scientific community during the last decades and many differe...
Felix Schernhammer, Bernhard Gramlich
SCALESPACE
2009
Springer
16 years 20 days ago
Convex Multi-class Image Labeling by Simplex-Constrained Total Variation
Multi-class labeling is one of the core problems in image analysis. We show how this combinatorial problem can be approximately solved using tools from convex optimization. We sugg...
Jan Lellmann, Jörg H. Kappes, Jing Yuan, Flor...
SEMWEB
2009
Springer
16 years 20 days ago
Ontologies for User Interface Integration
There are different strategies to integrate software systems: integration on the data layer, on the business logic layer, and on the user interface layer. The latter area, recent...
Heiko Paulheim
SEMWEB
2009
Springer
16 years 20 days ago
A Semantic Web Approach to Represent and Retrieve Information in a Corporate Memory
This paper outlines the first stage of the ODARyT Tool, a semantic web approach to represent and retrieve information in a corporate memory. After a brief discussion about the mee...
Ana B. Rios-Alvarado, R. Carolina Medina Ram&iacut...