Sciweavers

959 search results - page 118 / 192
» Possible and Necessary h-Indices
Sort
View
SEKE
1993
Springer
14 years 1 months ago
Recovering Conceptual Data Models is Human-Intensive
1 To handle the complexity of modern software systems, a software comprehension strategy pointing out the al abstraction level is necessary. In this context, the role of technology...
Fabio Abbattista, Filippo Lanubile, Giuseppe Visag...
ICALP
1990
Springer
14 years 1 months ago
Static Correctness of Hierarchical Procedures
A system of hierarchical, fully recursive types in a truly imperative language allows program fragments written for small types to be reused for all larger types. To exploit this ...
Michael I. Schwartzbach
ECML
1998
Springer
14 years 1 months ago
Predicate Invention and Learning from Positive Examples Only
Previous bias shift approaches to predicate invention are not applicable to learning from positive examples only, if a complete hypothesis can be found in the given language, as ne...
Henrik Boström
IDA
2010
Springer
14 years 29 days ago
Statistical Modelling for Data from Experiments with Short Hairpin RNAs
This paper delivers an example of applying intelligent data analysis to biological data where the success of the project was only possible due to joint efforts of the experts from ...
Frank Klawonn, Torsten Wüstefeld, Lars Zender
CHIMIT
2007
ACM
14 years 29 days ago
Looking for trouble: understanding end-user security management
End users are often cast as the weak link in computer security; they fall victim to social engineering and tend to know very little about security technology and policies. This pa...
Joshua B. Gross, Mary Beth Rosson