Sciweavers

2696 search results - page 240 / 540
» Semantic Abstraction and Anaphora
Sort
View
OOPSLA
2001
Springer
15 years 11 months ago
Object-Oriented Composition Untangled
Object-oriented languages come with pre-defined composition mechanisms, such as inheritance, object composition, or delegation, each characterized by a certain set of composition...
Klaus Ostermann, Mira Mezini
IFL
1998
Springer
139views Formal Methods» more  IFL 1998»
15 years 11 months ago
Higher Order Demand Propagation
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
Dirk Pape
ESOP
2008
Springer
15 years 8 months ago
Open Bisimulation for the Concurrent Constraint Pi-Calculus
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...
Maria Grazia Buscemi, Ugo Montanari
COMAD
2009
15 years 7 months ago
Vector-based Ranking Techniques for Identifying the Topical Anchors of a Context
Terms in textual documents tend to occur more in contexts to which they are related. We can exploit this bias by modelling terms and their cooccurrences s, resembling the abstract...
Aditya Ramana Rachakonda, Srinath Srinivasa
ERCIMDL
2010
Springer
126views Education» more  ERCIMDL 2010»
15 years 5 months ago
Uncovering Hidden Qualities - Benefits of Quality Measures for Automatically Generated Metadata
Abstract. Today, digital libraries more and more have to rely on semantic techniques during the workflows of metadata generation, search and navigational access. But, due to the st...
Sascha Tönnies, Wolf-Tilo Balke