8094 search results - page 329 / 1619 » Improvements in Formula Generalization |
184
Voted
MKM
2009
Springer
16 years 19 days ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
140
click to vote
ICC
2007
IEEE
16 years 12 days ago
2007
IEEE
Abstract— Handoff probability is one of the significant metrics to characterize the handoff operation in wireless mobile networks. Handoff probability refers to the probability ...
184
click to vote
PLDI
2006
ACM
16 years 1 days ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
163
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
We present a general logic of explicit knowledge represented as finite sets of logical formulae which can evolve by nondeterministic reasoning and communication. It is partly bas...
164
click to vote
COCO
2005
Springer
15 years 11 months ago
2005
Springer
Weighted threshold functions with positive weights are a natural generalization of unweighted threshold functions. These functions are clearly monotone. However, the naive way of ...