11739 search results - page 120 / 2348 » Slideshow: functional presentations |
ENTCS
2006
13 years 10 months ago
2006
Partial functions and operators are used extensively in the formal development of programs and thus development methods have to clarify how to reason about them. There are a numbe...
KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
13 years 10 months ago
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...
CMPB
2008
13 years 8 months ago
2008
Recently, in a series of papers, a method based on pseudo-values has been proposed for direct regression modeling of the survival function, the restricted mean and cumulative inci...
BSL
2010
13 years 7 months ago
2010
This paper discusses certain problems arising within the treatment of the senses of functions in Alonzo Church's Logic of Sense and Denotation. Church understands such senses ...
MICCAI
2008
Springer
14 years 11 months ago
2008
Springer
We present a framework for hypothesis testing of differences between groups of DTI fiber tracts. An anatomical, tract-oriented coordinate system provides a basis for estimating the...