736 search results - page 66 / 148 » High-order functions and their ordering relations |
102
click to vote
ECSQARU
2005
Springer
15 years 5 months ago
2005
Springer
Semi-revision is a model of belief change that differs from revision in that a new formula is not always accepted. Later, Fuhrmann defined multiple semi-revision by replacing a n...
HPCC
2005
Springer
15 years 5 months ago
2005
Springer
For future generation Grids to be truly pervasive we need to allow for the integration of mobile devices, in order to leverage available resources and broaden the range of supplie...
119
click to vote
GLOBECOM
2007
IEEE
15 years 1 months ago
2007
IEEE
- How to prolong the lifetime of wireless sensor networks is one of the most important design issues. In order to tackle this issue, we propose an energy-efficient polynomial regre...
WCE
2007
15 years 1 months ago
2007
—In the design process of complex systems, the designer is solving an optimization problem, which involves different disciplines and where all design criteria have to be optimize...
100
click to vote
IANDC
2006
14 years 12 months ago
2006
It is well-known that stable models (as dI-domains, qualitative domains and coherence are not fully abstract for the language PCF. This fact is related to the existence of stable ...