10916 search results - page 188 / 2184 » On Constructive Connectives and Systems |
120
click to vote
ISMVL
2010
IEEE
15 years 11 months ago
2010
IEEE
—Every probability on many-valued events (a state on a finitely-generated free MV-algebras) is uniquely represented by refining finitely-supported probabilities across all Sch...
140
click to vote
APLAS
2008
ACM
15 years 8 months ago
2008
ACM
Researchers repeatedly observed that the module system of ML and the type class mechanism of Haskell are related. So far, this relationship has received little formal investigation...
124
click to vote
AROBOTS
2007
15 years 6 months ago
2007
Socio-technical changes lead to new opportunities. Robots are customizing the industrialized mass production of non/manufacturing industries. Robots ameliorate adverse working and...
289
click to vote
ICDCN
2011
Springer
14 years 10 months ago
2011
Springer
This paper considers the problem of calculating dominating sets in networks with bounded degree. In these networks, the maximal degree of any node is bounded by Δ, which is usuall...
189
click to vote
ISAAC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Connected dominating set (CDS) has a wide range of applications in wireless ad hoc networks. A number of approximation algorithms for constructing a small CDS in wireless...