Sciweavers

2672 search results - page 255 / 535
» Hybridizing Concept Languages
Sort
View
121
Voted
ICFP
2005
ACM
16 years 4 months ago
A step-indexed model of substructural state
The concept of a "unique" object arises in many emerging programming languages such as Clean, CQual, Cyclone, TAL, and Vault. In each of these systems, unique objects ma...
Amal J. Ahmed, Matthew Fluet, Greg Morrisett
149
Voted
CICLING
2009
Springer
15 years 10 months ago
The Value of Weights in Automatically Generated Text Structures
Abstract. One question that arises if we want to evolve generation techniques to accommodate Web ontologies is how to capture and expose the relevant ontology content to the user. ...
Dana Dannélls
119
Voted
MODELS
2009
Springer
15 years 10 months ago
Teaching Object-Oriented Modeling and UML to Various Audiences
This paper summarizes the experience of teaching objectoriented modeling and UML for more than a decade to various audiences (academic or corporate, software developers or not). W...
Sabine Moisan, Jean-Paul Rigault
CCIA
2007
Springer
15 years 10 months ago
Semantic disambiguation of taxonomies
Polysemy is one of the most difficult problems when dealing with natural language resources. Consequently, automated ontology learning from textual sources (such as web resources) ...
David Sánchez, Antonio Moreno
114
Voted
ECOOP
2007
Springer
15 years 10 months ago
Generic Universe Types
Ownership is a powerful concept to structure the object store and to control aliasing and modifications of objects. This paper presents an ownership type system for a Javalike pr...
Werner Dietl, Sophia Drossopoulou, Peter Müll...