Sciweavers

3605 search results - page 400 / 721
» Associated types with class
Sort
View
DAGSTUHL
2007
15 years 8 months ago
Empirical Studies in End-User Software Engineering and Viewing Scientific Programmers as End-Users - Position Statement -
My work has two relationships with End User Software Engineering. First, as an Empirical Software Engineer, I am interested in meeting with people who do research into techniques ...
Jeffrey Carver
DAGSTUHL
2007
15 years 8 months ago
Matrix Analytic Methods in Branching processes
We examine the question of solving the extinction probability of a particular class of continuous-time multi-type branching processes, named Markovian binary trees (MBT). The exti...
Sophie Hautphenne, Guy Latouche, Marie-Ange Remich...
FMOODS
2008
15 years 8 months ago
Semantic Foundations and Inference of Non-null Annotations
This paper proposes a semantics-based automatic null pointer analysis for inferring non-null annotations of fields in objectoriented programs. The analysis is formulated for a mini...
Laurent Hubert, Thomas P. Jensen, David Pichardie
LREC
2008
142views Education» more  LREC 2008»
15 years 8 months ago
Corpus-Based Tools for Computer-Assisted Acquisition of Reading Abilities in Cognate Languages
This paper presents an approach to computer-assisted teaching of reading abilities using corpus data. The approach is supported by a set of tools for automatically selecting and c...
Svitlana Kurella, Serge Sharoff, Anthony Hartley
ACL
2006
15 years 8 months ago
Modeling Adjectives in Computational Relational Lexica
In this paper we propose a small set of lexical conceptual relations which allow to encode adjectives in computational relational lexica in a principled and integrated way. Our ma...
Palmira Marrafa, Sara Mendes