2607 search results - page 203 / 522 » Complete Functional Synthesis |
109
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We develop a purely ordinal model for aggregation functionals for lattice valued functions, comprising as special cases quantiles, the Ky Fan metric and the Sugeno integral. For m...
142
Voted
AMC
2006
15 years 4 months ago
2006
We develop a multi-objective model for the resource allocation problem in a dynamic PERT network, where the activity durations are exponentially distributed random variables and t...
142
click to vote
EOR
2008
15 years 4 months ago
2008
Heterogeneous wireless/wired networks and ubiquitous environments are gaining ever more attention by research community. To properly control and manage such puzzles a deep knowled...
142
click to vote
JUCS
2006
15 years 4 months ago
2006
: Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful ...
158
click to vote
IEICET
2007
15 years 4 months ago
2007
The completeness (i.e. confluent and terminating) property is an important concept when using a term rewriting system (TRS) as a computational model of functional programming lang...