5084 search results - page 178 / 1017 » Proving Possibility Properties |
141
click to vote
GECCO
2007
Springer
16 years 16 days ago
2007
Springer
This paper investigates extensions of No Free Lunch (NFL) theorems to countably infinite and uncountable infinite domains. The original NFL due to Wolpert and Macready states th...
102
click to vote
ITC
2003
IEEE
15 years 11 months ago
2003
IEEE
Many of the semiconductor technologies are already facing limitations while new-generation data and telecommunication systems are implemented. Although in its infancy, superconduc...
193
click to vote
CLIMA
2006
15 years 7 months ago
2006
In this paper, we introduce the notion of communication channel into a multiagent system. We formalize the system in term of logic with Belief modality, where each possible world i...
154
click to vote
ENTCS
2007
15 years 6 months ago
2007
Programs in modern functional logic languages are rewrite systems following the constructor discipline but where confluence and termination are not required, thus defining possi...
164
click to vote
DSRT
2008
IEEE
16 years 25 days ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...