5863 search results - page 322 / 1173 » Calculating Functional Programs |
152
click to vote
JUCS
2007
15 years 6 months ago
2007
: In this paper the author considers some problems related to attribute dependencies in consensus determining. These problems concern the dependencies of attributes representing th...
120
click to vote
CORR
1998
Springer
15 years 6 months ago
1998
Springer
We present a new method for discovering a segmental discourse structure of a document while categorizing each segment's function and importance. Segments are determined by a ...
179
click to vote
SIAMJO
2008
15 years 5 months ago
2008
A class of trust-region algorithms is developed and analyzed for the solution of minimization problems with nonlinear inequality constraints. Based on composite-step trust region ...
187
click to vote
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
The analysis of the worst-case execution time (WCET) requires detailed knowledge of the program behavior. In practice it is still not possible to obtain all needed information aut...
172
click to vote
SAS
1999
Springer
15 years 11 months ago
1999
Springer
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...