Sciweavers

4469 search results - page 305 / 894
» A Language for Role Specifications
Sort
View
CICLING
2005
Springer
16 years 8 days ago
Experiment on Combining Sources of Evidence for Passage Retrieval
Passage retrieval consists in identifying short but informative runs of a long text, given a specific user query. We discuss the sources of evidence that help choosing likely high-...
Alexander F. Gelbukh, Namo Kang, Sang-Yong Han
NLPRS
2001
Springer
15 years 11 months ago
WordNet and Automated Text Summarization
Proposals for text classification and information retrieval have been recently presented making use of the WordNet ontology. Generally, this methodology requires statistical induc...
Rui Pedro Chaves
OOPSLA
1998
Springer
15 years 11 months ago
Data Groups: Specifying the Modification of Extended State
This paper explores the interpretation of specifications in the context of an object-oriented programming language with subclassing and method overrides. In particular, the paper ...
K. Rustan M. Leino
UML
1998
Springer
15 years 11 months ago
Supporting Disciplined Reuse and Evolution of UML Models
UML provides very little support for modelling evolvable or reusable specifications and designs. To cope with this problem, the UML needs to be extended with support for reuse and ...
Tom Mens, Carine Lucas, Patrick Steyaert
VL
1990
IEEE
110views Visual Languages» more  VL 1990»
15 years 10 months ago
A Declarative Formalism for Specifying Graphical Layout
This paper describes a new approach to specifying graphical layouts of arbitrary objects, which is based on a TEXlike notation. Our simplest scheme offers specifications similar t...
Volker Haarslev, Ralf Möller